Refine your search
Availability
-
Bibliographic level
- Книги (2)
-
Authors
- Лисовик, Леонид Петрович [x]
-
Locations
- Книгохранилище (2)
-
Item types
-
Topics
- конечные автоматы (2)
- DTOL-языки аккумулирующие (1)
- S-преобразователи (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)
- лексические единицы математические (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