Abstract
The main result of this paper is the description of the external behaviours of control automata, developing an algebra of these behaviours and making use of these behaviours to obtain the fundamental theorem of programming for the Glushkov system.
Get full access to this article
View all access options for this article.