Условные обозначения:
• А– любой алфавитно-цифровой символ;
• А(*) – любой алфавитно-цифровой символ, кроме перечисленных в скобках;
• П – любой незначащий символ (пробел, знак табуляции, перевод строки, возврат каретки);
• Б – любая буква английского алфавита (прописная или строчная) или символ подчеркивания («_»);
• Б(*) – любая буква английского алфавита (прописная или строчная) или символ подчеркивания («_»), кроме перечисленных в скобках;
• Ц – любая цифра от 0 до 9;
• F – функция обработки таблицы лексем, вызываемая при переходе КА из одного состояния в другое; обозначения ее аргументов:
v – переменная, запомненная при работе КА;
d – константа, запомненная при работе КА;
a – текущий входной символ КА.
В остальных случаях аргументом функции F является соответствующая лексема. Конечный автомат:
M(Q,Σ,δ,q0,F):
Q = {H, C, G, V, D, I1, I2, T1, T2, T3, T4, E1, E2, E3, E4, O1, O2, X1, X2, X3, A1, A2, A3, F}
Σ = А (все допустимые алфавитно-цифровые символы); q0 = H; F = {F}.
В таблице П1.1. указаны значения функции переходов δ.
Таблица П1.1. Функция переходов δ
При описании функции переходов через разделитель «|» указаны вызовы функции F, необходимые при выполнении того или иного перехода (если они есть).