A result concerning the functional equivalence of program schemata with nondegenerate statements

zbMath0428.68022MaRDI QIDQ1137371

Samvel K. Shoukourian

Publication date: 1979

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

predicatesfunctional equivalence of program schematanondegenerate statementsone-way multitape automata

Mathematics Subject Classification ID

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

Related Items (1)

Reducibility of program-scheme functional equivalence on a nondegenerate basis of rank unity to the equivalence of automata with multidimensional tapes

This page was built for publication: A result concerning the functional equivalence of program schemata with nondegenerate statements