Задача 2.4.2 (Решённые экзаменационные задачи)
Описание файла
Файл "Задача 2.4.2" внутри архива находится в следующих папках: resh-ekz-zadachi, OPT_zadachi. PDF-файл из архива "Решённые экзаменационные задачи", который расположен в категории "". Всё это находится в предмете "основы построения трансляторов" из 5 семестр, которые можно найти в файловом архиве НИУ «МЭИ» . Не смотря на прямую связь этого архива с НИУ «МЭИ» , его также можно найти и в других разделах. Архив можно найти в разделе "к экзамену/зачёту", в предмете "основы построения трансляторов" в общих файлах.
Просмотр PDF-файла онлайн
Текст из PDF
Задача 2.4.2.txt2010-01-27Дан алфавит {a,b,c}. Построить язык и грамматику такие, что количество a, bравно c. Построить автомат.(|a| + |b| = |c|)ГрамматикаS -> SS | BS | CS | eB -> abB | aBb | bBa | eC -> acC | aCc | cCa | eabc -> cbabca -> acbcab -> bac* да, она не КС. нет, ничего лучше я не смог придумать.Автомат(МП-детерминированный)# - конец стека$ - любой нетермf(s0, $, #) = (s, #)f(s, a, S) = (s, $)f(s, a, #) = (s, #L)f(s, a, L) = (s, LL)f(s, b, L) = (s, $)f(s, b, S) = (s, SS)f(s, b, #) = (s, #S)f(s, c, L) = (s, $)f(s, c, S) = (s, SS)f(s, c, #) = (s, #S)f(s, $, $) = (q1, $)f(s, $, #) = (q2, #)////////////////////////исходное состояниеубираем "долг" в (-1)начало, запишем +1уже был +1, запишем еще +1выбрасываем +1пишем еще в долг -1пишем в долг -1выбрасываем +1пишем еще в долг -1пишем в долг -1стек не пустстек пуст все сошлосьq1 - цепочка не распознанаq2 - цепочка распознана$ - эпсилон- 1/1 -.