<?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 the theory of computation</title>
  </titleInfo>
  <name type="personal">
    <namePart>Sipser, Michael</namePart>
    <role>
      <roleTerm authority="marcrelator" type="text">creator</roleTerm>
    </role>
    <role>
      <roleTerm type="text">author</roleTerm>
    </role>
  </name>
  <typeOfResource>text</typeOfResource>
  <originInfo>
    <place>
      <placeTerm type="code" authority="marccountry">us</placeTerm>
    </place>
    <place>
      <placeTerm type="text">Boston, USA</placeTerm>
    </place>
    <publisher>Cengage Learning</publisher>
    <dateIssued>2013</dateIssued>
    <edition>Third edition</edition>
    <issuance>monographic</issuance>
  </originInfo>
  <language>
    <languageTerm authority="iso639-2b" type="code">eng</languageTerm>
  </language>
  <physicalDescription>
    <extent>xxii, 458 pages : illustrations.</extent>
  </physicalDescription>
  <tableOfContents>Introduction -- 0.1 Automata, Computability, and Complexity -- 0.2 Mathematical Notions and Terminology -- 0.3 Definitions, Theorems, and Proofs -- 0.4 Types of Proof -- Exercises -- Problems -- Selected Solutions -- Automata and Languages -- 1: Regular Languages -- 2: Context-Free Languages -- Computability Theory -- The Church–Turing Thesis -- Decidability -- Reducibility -- 6: Advanced Topics in Computability Theory -- Complexity Theory -- 7: Time Complexity -- 8: Space Complexity -- 9: Intractability -- 10: Advanced Topics in Complexity Theory.</tableOfContents>
  <targetAudience authority="marctarget">specialized</targetAudience>
  <note type="statement of responsibility">Michael Sipser</note>
  <note>Includes bibliographical references and index.</note>
  <subject>
    <topic>Teoría de las máquinas</topic>
  </subject>
  <subject>
    <topic>Complejidad computacional</topic>
  </subject>
  <classification authority="ddc">511.35</classification>
  <identifier type="isbn">9781133187790</identifier>
  <identifier type="isbn">9788131525296</identifier>
  <identifier type="uri">https://itmsp.museknowledge.com/UOH?qurl=https://libros-uoh.uoh.cl/ESCUELADEINGENIERIA/INGENIERIA%2520CIVIL%2520EN%2520COMPUTACION/Introduction-to-the-Theory-of-Computation</identifier>
  <location>
    <url displayLabel="VER LIBRO DIGITAL BIBLIOGRAFÍA BÁSICA">https://itmsp.museknowledge.com/UOH?qurl=https://libros-uoh.uoh.cl/ESCUELADEINGENIERIA/INGENIERIA%2520CIVIL%2520EN%2520COMPUTACION/Introduction-to-the-Theory-of-Computation</url>
  </location>
  <recordInfo>
    <recordContentSource authority="marcorg">clrauoh</recordContentSource>
    <recordCreationDate encoding="marc">191128</recordCreationDate>
    <recordChangeDate encoding="iso8601">20260331160220.0</recordChangeDate>
    <recordIdentifier source="SIRSI">u1751</recordIdentifier>
  </recordInfo>
</mods>
