An application of Cohen's result on star height to the theory of control structures

DOI10.1016/0022-0000(84)90002-3MaRDI QIDQ799363zbMATH OpenOpenAlexFDO

Authors Tatsuya Motoki

Publication date 1984

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0022-0000(84)90002-3

zbMATH Keywords

control structuresprogram schemesstar height

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Distance desert automata and the star height problem
• Some results on the generalized star-height problem
• scientific article; zbMATH DE number 1234586
• scientific article; zbMATH DE number 4213459
• The dot-depth hierarchy, 45 years later

Cites work

• A genealogy of control structures
• Analysis of structured programs
• General properties of star height of regular events
• On the capabilities of while, repeat, and exit statements
• Star height of certain families of regular events
• Transition graphs and the star-height of regular events
• Translatability of flowcharts into while programs

Cited in

(1)

• Program structures: Some new characterisations

This page was built for publication: An application of Cohen's result on star height to the theory of control structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q799363)