A Direct Branching Algorithm for Checking Equivalence of Finite-Turn DPDA's

Etsuji TOMITA; Masahiro IGARASHI

Copy

Etsuji TOMITA, Masahiro IGARASHI, "A Direct Branching Algorithm for Checking Equivalence of Finite-Turn DPDA's" in IEICE TRANSACTIONS on transactions, vol. E69-E, no. 3, pp. 193-195, March 1986, doi: .
Abstract: We present here a new algorithm for checking equivalence of finite-turn dpda's. It is very direct and much simpler than the previous one by Valiant or by Beeri.
URL: https://globals.ieice.org/en_transactions/transactions/10.1587/e69-e_3_193/_p

Copy

@ARTICLE{e69-e_3_193,
author={Etsuji TOMITA, Masahiro IGARASHI, },
journal={IEICE TRANSACTIONS on transactions},
title={A Direct Branching Algorithm for Checking Equivalence of Finite-Turn DPDA's},
year={1986},
volume={E69-E},
number={3},
pages={193-195},
abstract={We present here a new algorithm for checking equivalence of finite-turn dpda's. It is very direct and much simpler than the previous one by Valiant or by Beeri.},
keywords={},
doi={},
ISSN={},
month={March},}

Copy

TY - JOUR
TI - A Direct Branching Algorithm for Checking Equivalence of Finite-Turn DPDA's
T2 - IEICE TRANSACTIONS on transactions
SP - 193
EP - 195
AU - Etsuji TOMITA
AU - Masahiro IGARASHI
PY - 1986
DO -
JO - IEICE TRANSACTIONS on transactions
SN -
VL - E69-E
IS - 3
JA - IEICE TRANSACTIONS on transactions
Y1 - March 1986
AB - We present here a new algorithm for checking equivalence of finite-turn dpda's. It is very direct and much simpler than the previous one by Valiant or by Beeri.
ER -