Refine your search
Availability
-
Bibliographic level
- Книги (2)
-
Authors
-
Locations
-
Item types
- Выдается в читальный зал (2)
- 1 месяц (1)
-
Topics
- доказательство утверждения (2)
- LALR(k)-грамматики (1)
- LL(k) трансляции (1)
- LL(k)-грамматики (1)
- LR(k)-анализаторы (1)
- LR(k)-грамматики (1)
- LR-трансляции (1)
- Аристотель (1)
- Грейбах нормальная форма (1)
- Греческая философия древняя (1)
- Евклид (1)
- Кнута канонический анализатор (1)
- Математическая наука в Греции Древней (1)
- Платон (1)
- Программирования языки (1)
- Синтаксис (1)
- Тьюринга машины (1)
- Тьюринга машины ограниченные (1)
- Хомского нормальная форма (1)
- автоматы линейно ограниченные (1)
- автоматы магазинные (1)
- аксиомы (1)
- алгоритмы (1)
- алгоритмы анализа k-предсказывающие (1)
- анализ LL(k)-грамматик (1)
- верификация (1)
- грамматики контекстно-свободные (1)
- деревья вывода (1)
- доказательство отрицания (1)
- история математики (1)
- конечные автоматы (1)
- конечные автоматы недетерминированные (1)
- магазинные автоматы (1)
- математическая диалектика (1)
- математическая материя (1)
- математическая теория формальных языков (1)
- математическая теория языков (1)
- математическое доказательство (1)
- основания математики (1)
- отношения эквивалентности (1)
- постулаты (1)
- представление языков (1)
- распознавание языков (1)
- рекурсивность (1)
- рекурсивные множества (1)
- синтаксические анализаторы (1)
- структура математики (1)
- типы грамматик контекстно-свободных (1)
- трансляторы языков программирования (1)
- трансляция синтаксически управляемая (1)
- Show more
- Show less