Поиск книг, содержащих Regular language :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Четвертый курс

square

Пятый курс

Авторизация

Поиск по указателям

Результат поиска

Поиск книг, содержащих: Regular language

Книга	Страницы для поиска
Kitchens B.P. — Symbolic dynamics: one-sided, two-sided and countable state markov shifts.	148, 188
Jurafsky D., Martin J.H. — Speech and Language Processing	33, 49
Straubing H. — Finite automata, format logic, and circuit complexity	3
Holt D.F., Bettina E., Eamonn O. — Handbook of Computational Group Theory	433, 435
Burris S., Sankappanavar H.P. — A Course in Universal Algebra	120
Allouche J.-P., Shallit J. — Automatic Sequences: Theory, Applications, Generalizations	8
Sipser M. — Introduction to the theory of computation	31—82
Papadimitriou C.H. — Computational Complexity	54, 503
Hopcroft J.E., Motwani R., Ullman J.D. — Introduction to Automata Theory, Languages, and Computation	180, 247—248, 286, 289, 409 (see also “Deterministic finite automaton”, “Nondeterministic finite automaton”, “Pumping lemma”, “Regular expression”)
Li M., Vitanyi P. — An introduction to Kolmogorov complexity and its applications	421
Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP	330
Hein J.L. — Discrete Structures, Logic, and Computability	576—580, 631—635
Ebbinghaus H.-D., Flum J. — Finite Model Theory	108
Scott M.L. — Programming Language Pragmatics	32, 87
Hein J.L. — Theory of Computation: An Introduction	260—264, 310—318
Ding-Zhu D., Ker-I K. — Problem solving in automata, languages, and complexity	8
Lewis H.R., Papadimitriou C.H. — Elements of the Theory of Computation	50, 75—91, 119
Stanley R.P. — Enumerative Combinatorics: Volume 2	(see Language, regular)
Lipschutz S., Lipson M.L. — Schaum's outline of theory and problems of discrete mathematics	407
Gossett E. — Discrete Math with Proof	543
Fine B., Rosenberger G. — Algebraic Generalizations of Discrete Groups: A Path to Combinatorial Group Theory Through One-Relator Products	35
Sipser M. — Introduction to the Theory of Computation	31—83
Gill A. — Applied Algebra for the Computer Sciences	237
Odifreddi P., Sangalli A., Dyson F. — The Mathematical Century: The 30 Greatest Problems of the Last 100 Years	127

О проекте