<?xml version="1.0" encoding="UTF-8"?>
<mods xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.loc.gov/mods/v3" version="3.1" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
  <titleInfo>
    <title>Introduction to computer theory</title>
  </titleInfo>
  <name type="personal">
    <namePart>Cohen, Daniel I. A.</namePart>
    <namePart type="date">1946-</namePart>
    <role>
      <roleTerm authority="marcrelator" type="text">creator</roleTerm>
    </role>
  </name>
  <typeOfResource>text</typeOfResource>
  <originInfo>
    <place>
      <placeTerm type="text">New York</placeTerm>
    </place>
    <publisher>John Wiley &amp; Sons</publisher>
    <dateIssued>1997</dateIssued>
    <edition>2nd.</edition>
    <issuance>monographic</issuance>
  </originInfo>
  <language>
    <languageTerm authority="iso639-2b" type="code">eng</languageTerm>
  </language>
  <physicalDescription>
    <extent>634 p. :  il. ; 25 cm</extent>
  </physicalDescription>
  <tableOfContents>1. Background. -- 2. Languages. -- 3. Recursive definitions. -- 4. Regular expressions. -- 5 Finite automata. -- 6. Transition graphs. -- 7. Kleenea´s theorem. -- 8. Finite automata with output. -- 9. Regular languages.. -- 10. Nonregular languages. -- 1. Decidability. -- Part II. PUSHDOWN AUTOMATA THEORY: -- 12 Context--Free grammars. -- 13. Grammatical format. -- 14. Pushdown automata. -- 15. CFG = PDA. -- 16. Non--Context--Free languages. -- 17 Context--Free languages. -- 18. Decidability. -- Part III. TURING THEORY: -- 19. Turing machines. -- 20. Post machines. -- 21 Minskya s theorem. -- 22 Variations on the TM. -- 23. TM languages. -- 24. The Chomsky hierarchy. -- 25. Computers.</tableOfContents>
  <note type="statement of responsibility">Daniel I. A. Cohen.</note>
  <subject>
    <topic>LENGUAJES DE PROGRAMACIÓN</topic>
  </subject>
  <subject>
    <topic>TEORÍA DE LA COMPUTACIÓN</topic>
  </subject>
  <classification authority="udc">004</classification>
  <identifier type="isbn">9780471137726</identifier>
  <recordInfo>
    <recordContentSource authority="marcorg">UNT FRRo</recordContentSource>
    <recordCreationDate encoding="marc">240530</recordCreationDate>
    <recordIdentifier source="AR-FRRoUTN">551</recordIdentifier>
  </recordInfo>
</mods>
