Abstract
A result/concept on star height is applied to two problems in the theory of control structures. First, Kosaraju's systems RE n of control structures are generalized and it is shown by using Cohen's result on star height that the generalized systems constitute a pathwise hierarchy with respect to their expressive powers. Second, by using a concept on star height, a result of Peterson et al. ( Comm. ACM 16 (1973), 503–512) that RE ∞ is pathwise complete is sharpened.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
