<?xml version="1.0" encoding="utf-8"?>
<FictionBook xmlns="http://www.gribuser.ru/xml/fictionbook/2.0" xmlns:l="http://www.w3.org/1999/xlink">
 <description>
  <title-info>
   <genre match="100">sci_math</genre>
   <author>
    <first-name>Николай</first-name>
    <middle-name>Николаевич</middle-name>
    <last-name>Иванов</last-name>
    <nickname>к. ф.-м. н.</nickname>
    <id>338425</id>
   </author>
   <author>
    <first-name>Геннадий</first-name>
    <middle-name>Иосифович</middle-name>
    <last-name>Михайлов</last-name>
    <id>338426</id>
   </author>
   <author>
    <first-name>Всеволод</first-name>
    <middle-name>Викторович</middle-name>
    <last-name>Руднев</last-name>
    <id>338427</id>
   </author>
   <author>
    <first-name>Алексей</first-name>
    <middle-name>Алексеевич</middle-name>
    <last-name>Таль</last-name>
    <id>338428</id>
   </author>
   <book-title>Конечные автоматы: эквивалентность и поведение [Москва, \&quot;Наука\&quot;]</book-title>
   <annotation><p>В книге излагаются результаты работы авторов по создании теории конечных автоматов, основанной на применении отношений эквивалентности.</p>
    <empty-line/>
    <p>Содержание:</p>
    <empty-line/>
    <p>[ol]</p>
    <p>[li]Конечные автоматы - модель и поведение[/li]</p>
    <p>[li]Описание регулярных множеств[/li]</p>
    <p>[li]Некоторые дополнения к теории ЯЭП[/li]</p>
    <p>[li]Язык эквивалентных преобразований и конечно-автоматные множества[/li]</p>
    <p>[li]Множества с конечной памятью[/li]</p>
    <p>[li]Некоторые приложения[/li][/ol]</p>
    <p></p></annotation>
   <coverpage><image l:href="#cover.jpg"/></coverpage>
   <lang>ru</lang>
  </title-info>
  <document-info>
   <author>
   <nickname>robot
  </nickname></author>
   <program-used>CoolLib fbd generator</program-used>
  <date value="2025-10-22">2025-10-22</date>
  <src-url>https://coollib.net/b/755607-nikolay-nikolaevich-ivanov-k-f-m-n-konechnyie-avtomatyi-ekvivalentnost-i-povedenie</src-url>
  <src-ocr>Текст загружен пользователями сайта.</src-ocr>
  <id>CoolLibId-755607</id>
  <version>1</version>
  <history>
<p>v 1</p></history>
  </document-info>
  <publish-info>
  <book-name>Конечные автоматы: эквивалентность и поведение</book-name>
  </publish-info>
  <custom-info info-type="coollib-id">755607</custom-info>
  <custom-info info-type="">812664</custom-info>
 </description>
 <binary id="cover.jpg" content-type="image/jpeg">
[encoded data, 65540 characters]
 </binary>
</FictionBook>