Equivalence of simple functions

DOI10.1016/J.TCS.2007.01.011MaRDI QIDQ880171zbMATH OpenOpenAlexFDO

Authors Cédric Bastien, Jurek Czyzowicz, Wojciech Fraczak, Wojciech Rytter

Publication date 11 May 2007

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2007.01.011

zbMATH Keywords

context-free grammarformal languageequivalence problemsimple grammarpush-down transducersimple function

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 2096518
• scientific article; zbMATH DE number 1482186
• Equal Integrals of Functions
• Equivalence of analytic and rational functions
• Equivalence of Families of Functions on the Natural Numbers
• Similar functions and their properties
• On similarity of functions
• scientific article; zbMATH DE number 94249
• scientific article; zbMATH DE number 1372728

Cites work

• scientific article; zbMATH DE number 3639163 (Why is no real title available?)
• scientific article; zbMATH DE number 1024080 (Why is no real title available?)
• scientific article; zbMATH DE number 801745 (Why is no real title available?)
• scientific article; zbMATH DE number 1405670 (Why is no real title available?)
• A fast algorithm to decide on the equivalence of stateless DPDA
• A polynomial algorithm for deciding bisimilarity of normed context-free processes
• An axiomatic approach to the Korenjak-Hopcroft algorithms
• Implementation and Application of Automata
• Implementation and Application of Automata
• On the decidability of equivalence for deterministic pushdown transducers

Cited in

(3)

• Simple collective identity functions
• Implementation and Application of Automata
• Not all multi-valued partial CFL functions are refined by single-valued functions (extended abstract)

This page was built for publication: Equivalence of simple functions

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