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

square Второй курс

square Третий курс

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

square Пятый курс
blank
Авторизация

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

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

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



КнигаСтраницы для поиска
Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ1029
Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ788
Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 231.D
Jurafsky D., Martin J.H. — Speech and Language Processing87
Aho A.V., Sethi R., Ullman J.D. — Compilers: principles, techniques and tools113—144. See also Transition diagram
Levine J.R., Manson T., Brown D. — Lex & Yacc334
Papadimitriou C.H. — Computational Complexity55, 56
Hopcroft J.E., Motwani R., Ullman J.D. — Introduction to Automata Theory, Languages, and Computation2—4, 37—45, 90, 228, 315 (see also “Deterministic finite automaton”)
Kingston J.H. (ed.) — An Introduction to Computer Programming with Java272
Ito K. — Encyclopedic Dictionary of Mathematics31.D
Sparck Jones K., Wilks Y. — Automatic natural language parsing129—130
Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling, Volume 1: Parsing112—121, 124—128, 255—261, 397
Scott M.L. — Programming Language Pragmatics41, 79, 87, 88—92, 280
Binmore K. — Fun and Games: A Text on Game Theory361
Lewis H.R., Papadimitriou C.H. — Elements of the Theory of Computation55
Smyth B. — Computing patterns in stringssee "FA"
Hopcroft J.E., Ullman J.D. — Introduction to automata theory, languages, and computation9, 13—54, 67—71, 250-253
Salomaa A. — Computation and automata46
Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling. Volume II: Compiling112—121, 124—128, 255—261, 397, see also "Canonical parsing automaton"
Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics455—457, 460—462, 464, 467, 469, 473, 475—480, 483, 486, 487, 490, 507, 508
Gossett E. — Discrete Math with Proof531
Clarke E.M., Grumberg O., Peled D.A. — Model checking121, see also "Automata theory"
Sipser M. — Introduction to the Theory of Computation278
Shen A. — Algorithms and Programming73, 133, 143
Jones N.D. — Computability and complexity from a programming perspective256, 436
Badii R., Politi A. — Complexity: Hierarchical structures and scaling in physics167
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте