Отрывок: Если β = x . . . x или β = y . . . y, то αγ = αβ0γ /∈ L, так как коли- чество символов x и y в цепочке αγ различно. Если β = x . . . xy . . . y, то αββγ = αβ2γ /∈ L, так как в цепочке αββγ символы x и y будут перемешаны. Полученное противоречие доказывает, что L — не является А-языком. Следствие 5.1.2 Язык арифметических выражений не является А-языком, так как он может содержать произвольное...
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.author | Чигарина Е. И. | ru |
dc.contributor.author | Литвинов В. Г | ru |
dc.contributor.author | Министерство науки и высшего образования Российской Федерации | ru |
dc.contributor.author | Самарский национальный исследовательский университет им. С. П. Королева (Самарский университет) | ru |
dc.coverage.spatial | информатика | ru |
dc.coverage.spatial | конечные автоматы | ru |
dc.coverage.spatial | автоматные грамматики | ru |
dc.coverage.spatial | контекстно-свободные языки | ru |
dc.coverage.spatial | учебные издания | ru |
dc.coverage.spatial | формальные языки | ru |
dc.creator | Чигарина Е. И., Литвинов В. Г | ru |
dc.date.issued | 2018 | ru |
dc.identifier | RU\НТБ СГАУ\416969 | ru |
dc.identifier.citation | Чигарина, Е. И. Теория формальных языков и грамматик [Электронный ресурс] : [учеб. пособие] / Е. И. Чигарина, В. Г. Литвинов ; М-во науки и высш. образования Рос. Федерации, Самар. нац. исслед. ун-т им. С. П. Королева (Самар. ун-т). - Самара : Изд-во Самар. ун-та, 2018. - on-line. - ISBN = 978-5-7883-1279-8 | ru |
dc.identifier.isbn | 978-5-7883-1279-8 | ru |
dc.description.abstract | Гриф. | ru |
dc.description.abstract | Труды сотрудников Самар. ун-та (электрон. версия). | ru |
dc.description.abstract | Используемые программы: Adobe Acrobat. | ru |
dc.format.extent | Электрон. дан. (1 файл : 683 Кб) | ru |
dc.language.iso | rus | ru |
dc.publisher | Изд-во Самар. ун-та | ru |
dc.title | Теория формальных языков и грамматик | ru |
dc.type | Text | ru |
dc.subject.rugasnti | 50.05.09 | ru |
dc.subject.udc | 004.43(075) | ru |
dc.textpart | Если β = x . . . x или β = y . . . y, то αγ = αβ0γ /∈ L, так как коли- чество символов x и y в цепочке αγ различно. Если β = x . . . xy . . . y, то αββγ = αβ2γ /∈ L, так как в цепочке αββγ символы x и y будут перемешаны. Полученное противоречие доказывает, что L — не является А-языком. Следствие 5.1.2 Язык арифметических выражений не является А-языком, так как он может содержать произвольное... | - |
Располагается в коллекциях: | Учебные издания |
Файлы этого ресурса:
Файл | Размер | Формат | |
---|---|---|---|
Чигарина Е.И., Литвинов В.Г. Теория формальных языков и грамматик.pdf | 711.77 kB | Adobe PDF | Просмотреть/Открыть |
Показать базовое описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.