Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 12 dokumen yang sesuai dengan query
cover
Salomaa, Arto
Jewels of formal language theory / Arto Salomaa
Rockville: Computer Science Press, 1981
511.3 SAL j
Buku Teks  Universitas Indonesia Library
cover
Hsu-Chun Yen, editor
Developments in language theory : 16th international conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012 : proceedings
" This book constitutes the refereed proceedings of the 16th International Conference on Developments in Language Theory, DLT 2012, held in Taipei, Taiwan, in August 2012. The 34 regular papers presented were carefully reviewed and selected from numerous submissions. The volume also contains the papers or extended abstracts of 4 invited lectures, as well as a special memorial presentation in honor of Sheng Yu. The topics covered include grammars, acceptors and transducers for words, trees and ... "
Berlin: [Springer-Verlag;, ], 2012
e20410182
eBooks  Universitas Indonesia Library
cover
Hopcroft, John E., 1939-
Introduction to automata theory languages and computation
Reading, MA: Addison-Wesley, 1979
629.831 2 HOP i (1)
Buku Teks  Universitas Indonesia Library
cover
Eilenberg, Samuel
Automata, languages, and machines; Volume B
New York: Academic Press, 1976
510 EIL a
Buku Teks  Universitas Indonesia Library
cover
McNaughton, Robert
Elementary computability, formal languages, and automata
Englewood Cliffs, NJ: Prentice-Hall, 1982
511 MCN e
Buku Teks  Universitas Indonesia Library
cover
Languages alive : essays dedicated to Jurgen Dassow on the occasion of his 65th birthday
" This festschrift volume, published in honor of Jürgen Dassow on the occasion of his 65th birthday, contains 19 contributions by leading researchers, colleagues, and friends. Covering topics on picture languages, cooperating distributed systems of automata, quantum automata, grammar systems, online computation, word equations, biologically motivated formal systems, controlled derivations, descriptional complexity, as well as 'classical' topics of automata and language theory, the articles presented span the range of the scientific work of Jürgen Dassow ... "
Berlin: Springer-Verlag, 2012
e20410178
eBooks  Universitas Indonesia Library
cover
Hartmanis, Juris
Feasible computations and provable complexity properties
" An overview of current developments in research on feasible computations; and a consideration of this area of research in relation to provable properties of complexity of computations. The author begins by defining and discussing efficient reductions between problems and considers the families and corresponding complete languages of NL, DCSL, CSL, P, NP, PTAPE, EXPTIME, and EXPTAPE. Definitions and results are uniformly extended to computationally simpler natural families of languages such as NL, P, and CSL ... "
Philadelphia: Society for Industrial and Applied Mathematics, 1989
e20448473
eBooks  Universitas Indonesia Library
cover
Groote, Philippe de, editor
Formal grammar 15th and 16th international conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011 : revised eelected papers
" This book constitutes the refereed proceedings of the 15th and 16th International Conference on Formal Grammar 2010 and 2011,collocated with the European Summer School in Logic, Language and Information in July 2010/2011. The 19 revised full papers were carefully reviewed and selected from a total of 50 submissions. The papers papers deal with the following topics: formal and computational phonology, morphology, syntax, semantics and pragmatics, model-theoretic and proof-theoretic methods in linguistics, logical aspects of linguistic ... "
Berlin: [Springer-Verlag;, ], 2012
e20410160
eBooks  Universitas Indonesia Library
cover
Adrian-Horia Dediu, editor
Language and automata theory and applications : 6th international conference, LATA 2012, A Coruna, Spain, March 5-9, 2012 : proceedings
" This book constitutes the refereed proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, held in A Coruña, Spain in March 2012. The 41 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 114 initial submissions. The volume features contributions from both classical theory fields and application areas; e.g. innformatics, systems biology, language technology, artificial intelligence, etc. Among the ... "
Berlin: [;Springer-Verlag, Springer-Verlag], 2012
e20410277
eBooks  Universitas Indonesia Library
cover
Ben-Ari, Mordecchai, 1948-
Mathematical logic for computer science
London: Springer-Verlag, 2012
511.3 BEN m
Buku Teks  Universitas Indonesia Library
<<   1 2   >>