Отрывок: Если β = x . . . x или β = y . . . y, то αγ = αβ0γ /∈ L, так как коли- чество символов x и y в цепочке αγ различно. Если β = x . . . xy . . . y, то αββγ = αβ2γ /∈ L, так как в цепочке αββγ символы x и y будут перемешаны. Полученное противоречие доказывает, что L — не является А-языком. Следствие 5.1.2 Язык арифметических выражений не является А-языком, так как он может содержать произвольное...
Название : | Теория формальных языков и грамматик |
Авторы/Редакторы : | Чигарина Е. И. Литвинов В. Г Министерство науки и высшего образования Российской Федерации Самарский национальный исследовательский университет им. С. П. Королева (Самарский университет) |
Дата публикации : | 2018 |
Издательство : | Изд-во Самар. ун-та |
Библиографическое описание : | Чигарина, Е. И. Теория формальных языков и грамматик [Электронный ресурс] : [учеб. пособие] / Е. И. Чигарина, В. Г. Литвинов ; М-во науки и высш. образования Рос. Федерации, Самар. нац. исслед. ун-т им. С. П. Королева (Самар. ун-т). - Самара : Изд-во Самар. ун-та, 2018. - on-line. - ISBN = 978-5-7883-1279-8 |
Аннотация : | Гриф. Труды сотрудников Самар. ун-та (электрон. версия). Используемые программы: Adobe Acrobat. |
ISBN : | 978-5-7883-1279-8 |
Другие идентификаторы : | RU\НТБ СГАУ\416969 |
Ключевые слова: | информатика конечные автоматы автоматные грамматики контекстно-свободные языки учебные издания формальные языки |
Располагается в коллекциях: | Учебные издания |
Файлы этого ресурса:
Файл | Размер | Формат | |
---|---|---|---|
Чигарина Е.И., Литвинов В.Г. Теория формальных языков и грамматик.pdf | 711.77 kB | Adobe PDF | Просмотреть/Открыть |
Показать полное описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.