Advertisement

Semantics pp 91-126 | Cite as

Graphs and Machines

  • András Kornai
Chapter

Abstract

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.

Preview

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