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

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




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

 
Аватара пользователя
:evil:

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

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

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

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


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