Linked Data Explorerhttp://worldcat.org/entity/work/id/5167762
Introduction to computer theory
Automata theory. Background. Languages. Recursive definitions. Regular expressions. Finite automata. Transition graphs. Kleene's theorem. Nondeterminism. Finite automata with output. Regular languages. Nonregular languages. Decidability. Pushdown automata Theory. Context-free grammars. Trees. Regular grammars. Chomsky normal form. Pushdown automata. CFG=PDA. Context-free languages. Non-context-free languages. Intersection and complement. Parsing. Decidability. Turing theory. Turing machines. Post machines. Minsky's theorem. Variations on the TM. Recursively enumerable languages. The encoding of turing machines. The chomsky hierarchy. Computers. Bibliography. Table of theorems.
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/theorie
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/computabilidade_e_complexidade
- http://id.worldcat.org/fast/1004846
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/electronica_digital_processament_de_dades
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/automatentheorie
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/theorie_des_langages_informatique
- http://id.loc.gov/authorities/subjects/sh85079341
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/ordinateurs
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/lenguajes_formales
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/theoretische_informatica
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/linguagens_formais
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/grammaire_algebrique
- http://id.loc.gov/authorities/subjects/sh85029552
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/graphe
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/decidabilite
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/computers
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/fundamentele_informatica
- http://id.worldcat.org/fast/872451
- http://id.loc.gov/authorities/subjects/sh85042314
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/teoria_de_la_computacion
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/automate_informatique
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/teoria_dos_automatos
- http://id.worldcat.org/fast/907122
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/theory_automate
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/automatas_matematicos_teoria_de
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/datenverarbeitung
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/these_church
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/machine_turing
- http://id.worldcat.org/fast/872776
- http://id.worldcat.org/fast/932922
- http://id.worldcat.org/fast/1159283
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/teoria_automatow
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/turing_maquinas_de
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/complexitat_de_calcul_informatica
- http://id.loc.gov/authorities/subjects/sh85138778
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/formale_sprache
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/electronic_digital_computers
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/automates
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/informatique_ordinateur
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/theoretische_informatik
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/informatique
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/ordinateur
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/recursivite
- http://id.loc.gov/authorities/subjects/sh85050802
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/turingmachines
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/elaborazione_elettronica_dei_dati
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/informatique_theorique
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/langage_programmation
- http://experiment.worldcat.org/entity/work/data/5167762#Topic/komputery
- http://id.loc.gov/authorities/subjects/sh89003285
http://schema.org/description
- "Automata theory. Background. Languages. Recursive definitions. Regular expressions. Finite automata. Transition graphs. Kleene's theorem. Nondeterminism. Finite automata with output. Regular languages. Nonregular languages. Decidability. Pushdown automata Theory. Context-free grammars. Trees. Regular grammars. Chomsky normal form. Pushdown automata. CFG=PDA. Context-free languages. Non-context-free languages. Intersection and complement. Parsing. Decidability. Turing theory. Turing machines. Post machines. Minsky's theorem. Variations on the TM. Recursively enumerable languages. The encoding of turing machines. The chomsky hierarchy. Computers. Bibliography. Table of theorems."
- "Automata theory. Background. Languages. Recursive definitions. Regular expressions. Finite automata. Transition graphs. Kleene's theorem. Nondeterminism. Finite automata with output. Regular languages. Nonregular languages. Decidability. Pushdown automata Theory. Context-free grammars. Trees. Regular grammars. Chomsky normal form. Pushdown automata. CFG=PDA. Context-free languages. Non-context-free languages. Intersection and complement. Parsing. Decidability. Turing theory. Turing machines. Post machines. Minsky's theorem. Variations on the TM. Recursively enumerable languages. The encoding of turing machines. The chomsky hierarchy. Computers. Bibliography. Table of theorems."@en
http://schema.org/genre
- "Matériel didactique"
http://schema.org/name
- "Introduction to the Computer Theory"
- "Introduction to computer theory"
- "Introduction to computer theory"@en
http://schema.org/workExample
- http://www.worldcat.org/oclc/741726873
- http://www.worldcat.org/oclc/885118235
- http://www.worldcat.org/oclc/797108548
- http://www.worldcat.org/oclc/645807443
- http://www.worldcat.org/oclc/715691364
- http://www.worldcat.org/oclc/610511331
- http://www.worldcat.org/oclc/714583828
- http://www.worldcat.org/oclc/473543178
- http://www.worldcat.org/oclc/751000749
- http://www.worldcat.org/oclc/474895887
- http://www.worldcat.org/oclc/753085884
- http://www.worldcat.org/oclc/36095810
- http://www.worldcat.org/oclc/439150895
- http://www.worldcat.org/oclc/301569683
- http://www.worldcat.org/oclc/851074002
- http://www.worldcat.org/oclc/762401376
- http://www.worldcat.org/oclc/807041611
- http://www.worldcat.org/oclc/20799591
- http://www.worldcat.org/oclc/802556456
- http://www.worldcat.org/oclc/859627628
- http://www.worldcat.org/oclc/557706323
- http://www.worldcat.org/oclc/612051971
- http://www.worldcat.org/oclc/300608507
- http://www.worldcat.org/oclc/827675722
- http://www.worldcat.org/oclc/12134742
- http://www.worldcat.org/oclc/850644189
- http://www.worldcat.org/oclc/611617210
- http://www.worldcat.org/oclc/24713191
- http://www.worldcat.org/oclc/643105194
- http://www.worldcat.org/oclc/803037558
- http://www.worldcat.org/oclc/654264224
- http://www.worldcat.org/oclc/610696464
- http://www.worldcat.org/oclc/693419961
- http://www.worldcat.org/oclc/438922513
- http://www.worldcat.org/oclc/802011485
- http://www.worldcat.org/oclc/850580514
- http://www.worldcat.org/oclc/856690601
- http://www.worldcat.org/oclc/901569809
- http://www.worldcat.org/oclc/793536770
- http://www.worldcat.org/oclc/639657776
- http://www.worldcat.org/oclc/813434763
- http://www.worldcat.org/oclc/493302853