Semantics pp 91-126 | Cite as

Graphs and Machines

  • András Kornai


In the 1960s and 1970s, flowcharts were widely used for describing the structure of computer programs. In this chapter we generalize these information objects in two directions: instead of graphswe will use hypergraphs, and instead of finite state automata we will use a more algebraic formulation, the machines introduced by Eilenberg (1974) and now often called ‘Eilenberg machines’ or X-machines.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  • András Kornai
    • 1
  1. 1.SZTAKIInstitute of Computer ScienceBudapestHungary

Personalised recommendations