| OberonCore https://forum.oberoncore.ru/ |
|
| Теория по синтаксическому синтезу. https://forum.oberoncore.ru/viewtopic.php?f=61&t=2548 |
Страница 1 из 1 |
| Автор: | Alexey Veselovsky [ Понедельник, 12 Апрель, 2010 15:02 ] |
| Заголовок сообщения: | Теория по синтаксическому синтезу. |
Для синтаксического анализа имеется вполне вменяемая теория, есть и всякие утилиты помогающие в создании синтаксических анализаторов (тот же lex/yacc например). А есть ли что-то для обратной задачи? Т.е. синтаксического синтезатора. Т.е. нечто позволяющее генерировать гарантированно валидный текст с т.з. вот этой вот грамматики. |
|
| Автор: | yuriz [ Воскресенье, 19 Декабрь, 2010 19:10 ] |
| Заголовок сообщения: | Re: Теория по синтаксическому синтезу. |
Alexey Veselovsky писал(а): Для синтаксического анализа имеется вполне вменяемая теория, есть и всякие утилиты помогающие в создании синтаксических анализаторов (тот же lex/yacc например). Очень необычное название термина. Как раз недавно появилась публикация, использующая похожую формулировку. А вообще, если я правильно представляю, задача разбора (parsing) потока токенов отличается от его генерации: в первом случае мы имеем поток, в котором, по большому счету, может быть всё, что угодно. Во втором же — абстрактное синтаксическое дерево, процесс получения из которого символьной презентации сводится к его линеаризации.А есть ли что-то для обратной задачи? Т.е. синтаксического синтезатора. Т.е. нечто позволяющее генерировать гарантированно валидный текст с т.з. вот этой вот грамматики. В проекте Grammatical Framework это является одной из центральных идей: есть один центральный модуль абстрактного синтаксиса и N модулей конкретного синтаксиса для всех поддерживаемых языков, задающих правила линеаризации, которые используются как для разбора, так и для "синтеза" текста. Если же в вопросе имелась ввиду генерация произвольных текстов программ (например, для тест-вариантов), здесь есть неплохой обзор работ по этой теме, начиная ещё с 70-х годов. |
|
| Автор: | Валерий Лаптев [ Воскресенье, 19 Декабрь, 2010 19:16 ] |
| Заголовок сообщения: | Re: Теория по синтаксическому синтезу. |
Alexey Veselovsky писал(а): Для синтаксического анализа имеется вполне вменяемая теория, есть и всякие утилиты помогающие в создании синтаксических анализаторов (тот же lex/yacc например). А есть ли что-то для обратной задачи? Т.е. синтаксического синтезатора. Т.е. нечто позволяющее генерировать гарантированно валидный текст с т.з. вот этой вот грамматики. Вот мне тоже не попадалось. А тема - важнейшая. В обучающей же среде надо генерить упражнения. Например, нужно учить правильно писАть выражения. Можно, конечно, налепить вручную. Но лучше было бы задать параметры - и пусть генерит. Сейчас пытаемся сделать что-нить похожее. |
|
| Автор: | Владислав Жаринов [ Понедельник, 20 Декабрь, 2010 07:07 ] |
| Заголовок сообщения: | Re: Теория по синтаксическому синтезу. |
Возможно, это то, что у САПРовцев активнее отрабатывалось - обычно там называют "структурный синтез", "синтез проектных решений". |
|
| Страница 1 из 1 | Часовой пояс: UTC + 3 часа |
| Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |
|