startDocument()
  setDocumentMetaData(dc:creator: Jakub Yaghob, dc:publisher: Ulita v.t.m.)
  openPageSpan(fo:margin-bottom: 0.7875in, fo:margin-left: 0.7875in, fo:margin-right: 0.7875in, fo:margin-top: 0.7875in, fo:page-height: 11.6929in, fo:page-width: 8.2677in)
    openSection(fo:margin-left: 0.0000in, fo:margin-right: 0.0000in, librevenge:margin-bottom: 0.0000in, style:writing-mode: lr-tb)
      openParagraph(fo:line-height: 100.0000%, fo:margin-bottom: 0.0000in, fo:margin-left: 0.0000in, fo:margin-right: 0.0000in, fo:margin-top: 0.0000in, fo:text-align: center, fo:text-indent: 0.0000in, fo:widows: 2, style:writing-mode: lr-tb)
        openSpan(fo:color: #000000, fo:country: AU, fo:font-size: 0.3333in, fo:language: en, style:font-name: Arial)
          insertText(text: Překladač)
        closeSpan()
      closeParagraph()
      openParagraph(fo:line-height: 100.0000%, fo:margin-bottom: 0.0000in, fo:margin-left: 0.0000in, fo:margin-right: 0.0000in, fo:margin-top: 0.0000in, fo:text-align: center, fo:text-indent: 0.0000in, fo:widows: 2, style:writing-mode: lr-tb)
        openSpan(fo:color: #000000, fo:country: AU, fo:font-size: 0.1389in, fo:language: en, style:font-name: Times New Roman)
        closeSpan()
      closeParagraph()
      openParagraph(fo:line-height: 100.0000%, fo:margin-bottom: 0.0000in, fo:margin-left: 0.0000in, fo:margin-right: 0.0000in, fo:margin-top: 0.0000in, fo:text-align: center, fo:text-indent: 0.0000in, fo:widows: 2, style:writing-mode: lr-tb)
        openSpan(fo:color: #000000, fo:country: AU, fo:font-size: 0.3333in, fo:language: en, style:font-name: Arial)
          insertText(text: Konečný automat)
        closeSpan()
      closeParagraph()
      openParagraph(fo:line-height: 100.0000%, fo:margin-bottom: 0.0000in, fo:margin-left: 0.0000in, fo:margin-right: 0.0000in, fo:margin-top: 0.0000in, fo:text-align: center, fo:text-indent: 0.0000in, fo:widows: 2, style:writing-mode: lr-tb)
        openSpan(fo:color: #000000, fo:country: AU, fo:font-size: 0.1389in, fo:language: en, style:font-name: Times New Roman)
        closeSpan()
      closeParagraph()
      openParagraph(fo:line-height: 100.0000%, fo:margin-bottom: 0.0000in, fo:margin-left: 0.0000in, fo:margin-right: 0.0000in, fo:margin-top: 0.0000in, fo:text-align: start, fo:text-indent: 0.0000in, fo:widows: 2, style:writing-mode: lr-tb)
        openSpan(fo:color: #000000, fo:country: AU, fo:font-size: 0.2222in, fo:language: en, style:font-name: Arial)
          insertText(text: S - množina stavů)
        closeSpan()
      closeParagraph()
      openParagraph(fo:line-height: 100.0000%, fo:margin-bottom: 0.0000in, fo:margin-left: 0.0000in, fo:margin-right: 0.0000in, fo:margin-top: 0.0000in, fo:text-align: start, fo:text-indent: 0.0000in, fo:widows: 2, style:writing-mode: lr-tb)
        openSpan(fo:color: #000000, fo:country: AU, fo:font-size: 0.2222in, fo:language: en, style:font-name: Symbol)
          insertText(text: )
        closeSpan()
        openSpan(fo:color: #000000, fo:country: AU, fo:font-size: 0.2222in, fo:language: en, style:font-name: Arial)
          insertText(text:  - množina vstupních znaků (abeceda))
        closeSpan()
      closeParagraph()
      openParagraph(fo:line-height: 100.0000%, fo:margin-bottom: 0.0000in, fo:margin-left: 0.0000in, fo:margin-right: 0.0000in, fo:margin-top: 0.0000in, fo:text-align: start, fo:text-indent: 0.0000in, fo:widows: 2, style:writing-mode: lr-tb)
        openSpan(fo:color: #000000, fo:country: AU, fo:font-size: 0.2222in, fo:language: en, style:font-name: Symbol)
          insertText(text: )
        closeSpan()
        openSpan(fo:color: #000000, fo:country: AU, fo:font-size: 0.2222in, fo:language: en, style:font-name: Arial)
          insertText(text:  - přechodová funkce stav/znak na stav)
        closeSpan()
      closeParagraph()
      openParagraph(fo:line-height: 100.0000%, fo:margin-bottom: 0.0000in, fo:margin-left: 0.0000in, fo:margin-right: 0.0000in, fo:margin-top: 0.0000in, fo:text-align: start, fo:text-indent: 0.0000in, fo:widows: 2, style:writing-mode: lr-tb)
        openSpan(fo:color: #000000, fo:country: AU, fo:font-size: 0.2222in, fo:language: en, style:font-name: Arial)
          insertText(text: s)
        closeSpan()
        openSpan(fo:color: #000000, fo:country: AU, fo:font-size: 0.2222in, fo:language: en, style:font-name: Arial, style:text-position: sub)
          insertText(text: 0)
        closeSpan()
        openSpan(fo:color: #000000, fo:country: AU, fo:font-size: 0.2222in, fo:language: en, style:font-name: Arial)
          insertText(text:  - počáteční stav)
        closeSpan()
      closeParagraph()
      openParagraph(fo:line-height: 100.0000%, fo:margin-bottom: 0.0000in, fo:margin-left: 0.0000in, fo:margin-right: 0.0000in, fo:margin-top: 0.0000in, fo:text-align: start, fo:text-indent: 0.0000in, fo:widows: 2, style:writing-mode: lr-tb)
        openSpan(fo:color: #000000, fo:country: AU, fo:font-size: 0.2222in, fo:language: en, style:font-name: Arial)
          insertText(text: F - množina konečných stavů)
        closeSpan()
      closeParagraph()
      openParagraph(fo:line-height: 100.0000%, fo:margin-bottom: 0.0000in, fo:margin-left: 0.0000in, fo:margin-right: 0.0000in, fo:margin-top: 0.0000in, fo:text-align: center, fo:text-indent: 0.0000in, fo:widows: 2, style:writing-mode: lr-tb)
        openSpan(fo:color: #000000, fo:country: AU, fo:font-size: 0.1389in, fo:language: en, style:font-name: Times New Roman)
        closeSpan()
      closeParagraph()
      openParagraph(fo:line-height: 100.0000%, fo:margin-bottom: 0.0000in, fo:margin-left: 0.0000in, fo:margin-right: 0.0000in, fo:margin-top: 0.0000in, fo:text-align: start, fo:text-indent: 0.0000in, fo:widows: 2, style:writing-mode: lr-tb)
        openSpan(fo:color: #000000, fo:country: AU, fo:font-size: 0.1389in, fo:language: en, style:font-name: Times New Roman)
        closeSpan()
      closeParagraph()
    closeSection()
    openSection(fo:margin-left: 0.0000in, fo:margin-right: 0.0000in, librevenge:margin-bottom: 0.0000in, style:writing-mode: lr-tb)
      openParagraph(fo:break-before: page, fo:line-height: 100.0000%, fo:margin-bottom: 0.0000in, fo:margin-left: 0.0000in, fo:margin-right: 0.0000in, fo:margin-top: 0.0000in, fo:text-align: start, fo:text-indent: 0.0000in, fo:widows: 2, style:writing-mode: lr-tb)
        openSpan(fo:color: #000000, fo:country: AU, fo:font-size: 0.1389in, fo:language: en, style:font-name: Times New Roman)
        closeSpan()
      closeParagraph()
      openParagraph(fo:line-height: 100.0000%, fo:margin-bottom: 0.0000in, fo:margin-left: 0.0000in, fo:margin-right: 0.0000in, fo:margin-top: 0.0000in, fo:text-align: center, fo:text-indent: 0.0000in, fo:widows: 2, style:writing-mode: lr-tb)
        openSpan(fo:color: #000000, fo:country: AU, fo:font-size: 0.3333in, fo:language: en, style:font-name: Arial)
          insertText(text: Fáze překladače)
        closeSpan()
      closeParagraph()
      openParagraph(fo:line-height: 100.0000%, fo:margin-bottom: 0.0000in, fo:margin-left: 0.0000in, fo:margin-right: 0.0000in, fo:margin-top: 0.0000in, fo:text-align: center, fo:text-indent: 0.0000in, fo:widows: 2, style:writing-mode: lr-tb)
        openSpan(fo:color: #000000, fo:country: AU, fo:font-size: 0.1389in, fo:language: en, style:font-name: Times New Roman)
        closeSpan()
      closeParagraph()
      openParagraph(fo:line-height: 100.0000%, fo:margin-bottom: 0.0000in, fo:margin-left: 0.0000in, fo:margin-right: 0.0000in, fo:margin-top: 0.0000in, fo:text-align: center, fo:text-indent: 0.0000in, fo:widows: 2, style:writing-mode: lr-tb)
        openSpan(fo:color: #000000, fo:country: AU, fo:font-size: 0.1389in, fo:language: en, style:font-name: Times New Roman)
        closeSpan()
      closeParagraph()
    closeSection()
  closePageSpan()
endDocument()