<?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 automata theory, languages, and computation</title>
  </titleInfo>
  <name type="personal">
    <namePart>Hopcroft, John E.</namePart>
    <role>
      <roleTerm authority="marcrelator" type="text">creator</roleTerm>
    </role>
  </name>
  <name type="personal">
    <namePart>Motwani, Rajeev</namePart>
  </name>
  <name type="personal">
    <namePart>Ullman, Jeffrey D.</namePart>
    <role>
      <roleTerm type="text">autor,</roleTerm>
    </role>
  </name>
  <typeOfResource>text</typeOfResource>
  <originInfo>
    <place>
      <placeTerm type="code" authority="marccountry">ii</placeTerm>
    </place>
    <dateIssued encoding="marc">2023</dateIssued>
    <edition>3ª edition.</edition>
    <issuance>monographic</issuance>
  </originInfo>
  <language>
    <languageTerm authority="iso639-2b" type="code">eng</languageTerm>
  </language>
  <physicalDescription>
    <form authority="marcform">print</form>
    <extent>487 páginas : figuras e ilustraciones ; 24 centímetros.</extent>
  </physicalDescription>
  <abstract>Este libro clásico sobre lenguajes formales, teoría de autómatas y complejidad computacional se ha actualizado para presentar conceptos teóricos de forma concisa y directa, con un mayor número de aplicaciones prácticas. Esta nueva edición incluye Gradiance, una herramienta de evaluación en línea desarrollada para la informática.
</abstract>
  <tableOfContents>Capítulo 1. Introducción -- Capítulo 2. Autómatas finitos -- Capítulo 3. Expresiones regulares -- Capítulo 4. Gramáticas y lenguajes libres de contexto -- Capítulo 5. Computabilidad y complejidad.</tableOfContents>
  <note type="statement of responsibility">John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman.</note>
  <note>Incluye tabla de contenido.</note>
  <subject authority="lcsh">
    <topic>Autómatas</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Lenguajes formales</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Máquinas de Turing</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Teoría de la computación</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Ciencias de la computación</topic>
  </subject>
  <classification authority="ddc" edition="23">005.1 H791</classification>
  <identifier type="isbn">9788131720479</identifier>
  <recordInfo>
    <recordContentSource authority="marcorg">CO-ViULL</recordContentSource>
    <recordCreationDate encoding="marc">230101</recordCreationDate>
    <recordChangeDate encoding="iso8601">20260727104536.0</recordChangeDate>
  </recordInfo>
</mods>
