2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Разница между Машиной Тьюринга и Конечным автоматом?
Сообщение19.12.2007, 22:43 
Нужно найти такой язык который принимает Машина Тьюринга но не принимает Конечный автомат. Я подчеркиваю именно ЯЗЫК.

 
 
 
 
Сообщение21.12.2007, 21:14 
Аватара пользователя
:evil:

Давайте начнём с вопроса: какие языки порождаются машинной Тьюринга, и какие — конечными автоматами?

Если хотите, можно сделать ещё шаг назад: какие грамматики…

 
 
 
 
Сообщение23.12.2007, 01:47 
Аватара пользователя
Например язык со всеми словами длины $n^2$. т.е. $\{1,1111,111111111,1111111111111111,\dots\}$. То, что он НЕ распазнается конечным автоматом, следует из Леммы О Накачке (pumping lemma). То что он разпазается машиной Тюринга следует из вычислимости функции $n^2$

 
 
 [ Сообщений: 3 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group