kealon(Ruslan)White Owlпропущено...
мммм... не верю. Не может в Драконей Книге быть такого ляпа. Впрочем, возможно это переводчик наврал. Конкретно, скажи где находится эта фраза, попытаюсь найти ее в оригинале.

Глава 3 2-й абзац . Издательство Вильямс 2003 годНу точно переводчик хреновый.
1st edition from 1986In this language, patterns are specified by regular expressions, and a compiler for Lex can generate an efficient finite-automaton recognizer for the regular expressions. Переводить надо или сам справишься?


А через двадцать лет эту супер-сложную для понимания фразу заменили:
Вторая редакция от 2007-го года Chapter 3
Lexical Analysis
In this chapter we show how to construct a lexical analyzer. To implement a
lexical analyzer by hand, it helps to start with a diagram or other description for
the lexemes of each token. We can then write code to identify each occurrence of
each lexeme on the input and to return information about the token identified.
We can also produce a lexical analyzer automatically by specifying the lexerne
patterns to a lexical-analyzer generator and compiling those patterns into
code that functions as a lexical analyzer. This approach makes it easier to modify
a lexical analyzer, since we have only to rewrite the affected patterns, not
the entire program. It also speeds up the process of implementing the lexical
analyzer, since the programmer specifies the software at the very high level of
patterns and relies on the generator to produce the detailed code. We shall
introduce in Section 3 . 5 a lexical-analyzer generator called Lex (or Flex in a
more recent embodiment).
We begin the study of lexical-analyzer generators by introducing regular
expressions, a convenient notation for specifying lexeme patterns. We show
how this notation can be transformed, first into nondeterministic automata
and then into deterministic automata. The latter two notations can be used as
input to a "driver," that is, code which simulates these automata and uses them
as a guide to determining the next token. This driver and the specification of
the automaton form the nucleus of the lexical analyzer.

kealon(Ruslan)по факту я вижу ДКА у которого финальные состояния(не промежуточные) имеют определённые атрибуты. Т.е. есть всё присущее ДКА: начальное состояние,финальные состояния, функция переходовНу вот. Как я и подозревал. Ты просто не видишь разницы между DFA и TM. А как раз в этом вопросе она и важна...


kealon(Ruslan)мне вот совершенно без разницы как она называется, тем более, что ТМ - расширение КА, а вот сам вопрос сабжа в плане практики не критичен, но результат его интересен.Да, TM это расширение FA. Но алгоритмы разработанные для одного не подходят для другого и наоборот. Ты же и застрял из-за того что не смог натянуть круглое на квадратное.

kealon(Ruslan)Если будет пример не подходящий под моё утверждение придётся дописывать.Не будет. Твое утверждение, не верно по сути. Но (как я подозреваю) та практическая реализация что ты сделал исходя из неверных предпосылок, оказалась достаточно правильной. Поэтому все примеры обратного ты сейчас просто не поймешь. Мы, увы, говорим на разных языках.

В общем, ладно. Учебники я тебе показал которые нужно читать. То что нужно читать оригиналы а не переводы ты тоже осознал? :)