Реализация алгоритма тестирования контекстносвободной грамматики на принадлежность классу LL(K)
Автор: Федорченко Л. Н.
Журнал: Вестник Бурятского государственного университета. Математика, информатика @vestnik-bsu-maths
Рубрика: Информационные системы и технологии
Статья в выпуске: 2, 2021 года.
Бесплатный доступ
В статье рассматривается алгоритм тестирования КС-грамматики в форме Бэкуса - Наура на принадлежность ее к подклассу LL(k) грамматик. Это наибольший «естественный» класс левоанализируемых грамматик, в которых левосторонний анализ может быть реализован детерминированным образом. Они допускают построение левостороннего вывода входной цепочки языка с использованием знания лишь о к впереди идущих символах. Такой анализ, в свою очередь, дает детерминированный метод определения выхода правильной трансляции. Рассматривается реализация основных свойств таких грамматик, как FIRST-FOLLOW-Sigma и алгоритм тестирования. В качестве языка разработки был выбран язык C#. Приложение реализовано на платформе .NET Core 3.1, позволяющей создавать программы для различных операционных систем. Тестирование кода осуществляется при помощи библиотеки XUnit, которая является одним из наиболее популярных решений для тестирования на платформе .
Контекстно-свободные грамматики, форма бэкуса, наура, алгоритм тестирования, ll(k) грамматики, функции first
Короткий адрес: https://sciup.org/148322213
IDR: 148322213 | DOI: 10.18101/2304-5728-2021-2-17-27
Список литературы Реализация алгоритма тестирования контекстносвободной грамматики на принадлежность классу LL(K)
- Aho Alfred V., Ullman Jeffrey D. The Theory of Parsing, Translation, and Compiling. USA, New Jersey, 1972. 562 р.
- Мартыненко Б. К. Языки и трансляции. Санкт-Петербург: Изд-во СПбГУ, 2013. 305 с. Текст: непосредственный.