Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
грамматика
Связанные издания:
Verifying Parameterized Networks using Abstraction and Regular Languages
WIND: A Warehouse for Internet Data
XML Grammars
Автоматизация процесса построения компиляторов
Автоматическая генерация тестов для проверки распараллеливаю их и векторизую их преобразований циклов в компиляторе
Автоматическая генерация тестов для проверки распараллеливаю их и векторизую их преобразований циклов в компиляторе
Алгоримы вычисления атрибутов в атрибутных грамматиках
Анализатор для грамматик ван Вейнгаардена
Аппаратный синтаксический контроль на основе метаязыка R -грамматик
Грамматики инверсно-квазирекурсивного типа и синтаксические проблемы языков программирования
Графические редакторы и графические грамматики
Густота синтаксических деревьев и деревьев вывода в грамматиках
Индуктивная реконструкция грамматики текста
Использование обоб енных атрибутных грамматик для исключения об их подвыражений
Использование обоб енных атрибутных грамматик для оптимизации программ
Исследование грамматик предшествования и разработка системы построения трансляторов микро-ЭВМ
Исследование классов контекстно-свободных грамматик, ориентированных на эффективный синтаксический анализ
Исследования по теории порождающих грамматик
Конъюнктивные грамматики и системы языковых уравнений
Критерий LR(1)-грамматики
К теории слаборазделённых грамматик
Лекции по теории формальных языков, автоматов и сложности вычислений
Метаязык трансляционного типа
Оазработка метода потроения диалоговых систем программирования на основе использования одного класса грамматик распознающего типа
О трансформациях нечетких графов, задаваемых FD-грамматиками
Оценка сложности реализации логических спецификаций на основе контекстно-свободных грамматик
Подклассы детерминированных КС-языков и алгоритмы их разбора
Применение атрибутной синтаксически управляемой трансляции для синтеза программ
Применение формализма порождаю их грамматик к анализу родственных языков
Регулярные параметрические грамматики и проблема параметризации
Синтаксический распознаватель для расширяемых языков
Синтаксически-ориентированная реализация графических языков на основе автоматных графических грамматик
Системы обработки данных: Труды вычислительного центра, вып. 49
Теория формальных языков. Вводный курс
Формальные грамматики (Учебное пособие)
Функционально-коммуникативная грамматика как компьютерная грамматика языковых технологий
« первая
‹ предыдущая
1
2
3
4
5
6