Подсобите с МП-автоматом для s-грамматики

[Zenitchik]

Грамматика такая
S - начальный нетерминал (он же единственный)
a, l, f, s, e - терминальные символы
null - пустая строка (лениво код эпсилона искать).

Продукции:
S::=aS
S::=lS
S::=fS
S::=sSeS
S::=null

Не могу составить таблицу переходов. Правило S::=null - мешает жить.
Либо я дурак, либо это не s-грамматика. Но чую, что исправить ситуацию можно каким-то небольшим преобразованием.

[tyomitch]

Если я ещё хоть что-то помню...

Код: Выделить всё

   {a,l,f},γ   s,γ    e,1   e,∅     ∅,1   ∅,∅
Q0   Q0,γ     Q0,γ1  Q0,   reject reject accept


Где:
Q0 -- единственное состояние
γ -- верхний символ магазина
1 -- единственный символ алфавита магазина
∅ -- признак конца ввода/магазина