Решил поглубже изучить данный вопрос. И да, Вы оказались правы. Речь шла про машину Тьюринга, которая является наиболее общим и мощным автоматом. Конечный автомат не обобщает вычисления, а может применяться лишь для примитивных функций. Спасибо за замечание! Если интересно, то вот неплохая статья на эту тему.
Для НКА необязательно наличие ε-переходов. В примере приведён как раз НКА без них. Но обязательное условие для ДКА - отсутствие ε-переходов, про которое я забыл упомянуть в определении. Благодарю за комментарий! Исправил.
Решил поглубже изучить данный вопрос. И да, Вы оказались правы. Речь шла про машину Тьюринга, которая является наиболее общим и мощным автоматом. Конечный автомат не обобщает вычисления, а может применяться лишь для примитивных функций. Спасибо за замечание! Если интересно, то вот неплохая статья на эту тему.
Для НКА необязательно наличие ε-переходов. В примере приведён как раз НКА без них. Но обязательное условие для ДКА - отсутствие ε-переходов, про которое я забыл упомянуть в определении. Благодарю за комментарий! Исправил.