Страница 1 из 1

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

СообщениеДобавлено: 15.02.2009 (Вс) 22:23
Zenitchik
Грамматика такая
S - начальный нетерминал (он же единственный)
a, l, f, s, e - терминальные символы
null - пустая строка (лениво код эпсилона искать).

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

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

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

СообщениеДобавлено: 15.02.2009 (Вс) 23:23
tyomitch
Если я ещё хоть что-то помню...
Код: Выделить всё
   {a,l,f},γ   s,γ    e,1   e,∅     ∅,1   ∅,∅
Q0   Q0,γ     Q0,γ1  Q0,   reject reject accept

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