Predicates definable over transformational derivations by intersection with regular languages

DOI10.1016/S0019-9958(67)90497-4MaRDI QIDQ5536274zbMATH OpenFDO

Authors John P. Kimball

Publication date 1967

Published in Information and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0019-9958(67)90497-4

zbMATH Keywords

mathematical logic

Cited in

(2)

• Universal semantics?
• Theory of formal grammars

This page was built for publication: Predicates definable over transformational derivations by intersection with regular languages

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