2014 dxdy logo

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

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




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


25/11/07
3
Kharkov
Нужно найти такой язык который принимает Машина Тьюринга но не принимает Конечный автомат. Я подчеркиваю именно ЯЗЫК.

 Профиль  
                  
 
 
Сообщение21.12.2007, 21:14 
Заслуженный участник
Аватара пользователя


17/10/05
3709
:evil:

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

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

 Профиль  
                  
 
 
Сообщение23.12.2007, 01:47 
Аватара пользователя


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

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 3 ] 

Модераторы: Karan, Toucan, PAV, maxal, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group