Описание контекстных условий формальных языков грамматики с контекстуальными аргументами
Автор: Скрипов А.В.
Журнал: Вестник экономики, управления и права @vestnik-urep
Рубрика: Образование
Статья в выпуске: 1 (22), 2013 года.
Бесплатный доступ
В классе грамматик с контекстуальными аргументами выделен подкласс LL(1)K-грамматик. Доказана теорема о детерминированности левостороннего вывода для грамматик класса LL(1)K. И доказана теорема, на основании которой строится анализатор для грамматик этого класса. Рассмотренная грамматика LL(1)K является довольно естественным обобщением класса LL(1)-грамматик. Используемый формализм контекстуальных аргументов позволяет описывать некоторые контекстные условия.
Короткий адрес: https://sciup.org/14214519
IDR: 14214519
The description of contextual conditions of formal languages grammars with contextual arguments
In a class of grammars with contextual arguments the subclass of LL (1) K-grammars is allocated. The theorem of determinacy of a left-side conclusion for grammars of a class LL (1)K is proved. Also the theorem on the basis of which the analyzer for grammars of this class is under construction is proved. The considered grammar of LL (1)K is quite natural generalization of a class LL(1) - grammars. The used formalism of contextual arguments allows describing some contextual conditions.
Список литературы Описание контекстных условий формальных языков грамматики с контекстуальными аргументами
- Замятин А.П., Шур А.М. Языки, грамматики, распознаватели: Учебное пособие. Екатеринбург: УрГУ, 2007.
- Агафонов В.Н. Синтаксический анализ языков программирования: Учебное пособие. Новосибирск: НГУ, 1981. 91 с.
- Братчиков И.Л. Синтаксис языков программирования. М.: Наука, 1975. 232 с.
- Гинзбург С. Математическая теория контекстно-свободных языков. М.: Мир, 1970. 326 с.
- Гладкий А.В. Формальные грамматики и языки. М.: Наука, 1973. 368 с.
- Грис Д. Конструирование компиляторов для цифровых вычислительных машин. М.: Мир, 1975. 544 с.
- Гросс М., Лантен А. Теория формальных грамматик. М.: Мир, 1971. 294 с.
- Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов. М.: «Мир», 1979, 656 с.
- Рейуорд -Смит В. Дж. Теория формальных языков. Вводный курс. М.: Радио и связь, 1988. 129 с.
- Ахо A., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Т. 1. М.: Мир, 1978. C. 612.
- Фомичев В.С. Формальные языки, грамматики и автоматы.
- http://www.etu.ru/misc/edu/Index.htm#cont
