В синтаксисе лексеров есть токен ^ начало строки...
А как он строится в детерминированном конечном автомате?
В недетерминированном, я полагаю, можно обойтись подсчётом символов в строке
Неужели у таблиц лексера два входа один после конца строки другой после оканчания лексемы среди строки?