| Methods based on Courcelle's theorem have also been applied to database theory, knowledge representation and reasoning, automata theory, and model checking. |
Методы, основанные на теореме Курселя, были использованы в теории баз данных, представлении знаний и логических выводов, теории автоматов и проверке моделей. |
| Solutions to Znám's problem have applications to the classification of surface singularities (Brenton and Hill 1988) and to the theory of nondeterministic finite automata. |
Решения задачи Знама имеют приложения к классификации особых точек поверхностей (Brenton, Hill 1988) и теории недетерминированных конечных автоматов. |
| Journal of Automata, Languages and Combinatorics, an international academic journal in the field of theoretical computer science published by the university. |
Журнал автоматов, языков и комбинаторики, международный академический журнал в области теоретической информатики, изданные университетом. |
| Eggan's Theorem: The star height of a regular language L equals the minimum cycle rank among all nondeterministic finite automata with ε-moves accepting L. Proofs of this theorem are given by Eggan (1963), and more recently by Sakarovitch (2009). |
Теорема Эггана: Высота итерации регулярного языка L равна наименьшему циклическому рангу среди всех недетерминированных конечных автоматов с ε-переходами, принимающих язык L. Доказательство этой теоремы дал Эгган, и, позднее, Сакарович. |
| For example, in automata theory and formal language theory it is convenient to consider labeled multigraphs, i.e., a pair of vertices may be connected by several labeled edges. |
Например, в теории автоматов и теории формальных языков обычно рассматриваются помеченные мультиграфы, то есть графы, в которых пара вершин может быть соединена несколькими помеченными рёбрами. |