Deterministic pushdown automaton (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Deterministic pushdown automaton" in English language version.

refsWebsite

Global rank English rank

2^nd place

6^th place

3^rd place

11^th place

8^th place

1,185^th place

840^th place

low place

acm.org

Hopcroft, John E.; Ullman, Jeffrey D. (1969-01-01), "Deterministic pushdown automata", Formal languages and their relation to automata, USA: Addison-Wesley Longman Publishing Co., Inc., retrieved 2024-05-29

Soltys-kulinicz, Michael (2018). An Introduction To The Analysis Of Algorithms (3rd ed.). World Scientific. pp. 193, 195. ISBN 9789813235922.

Kurki-Suonio, R. (1969). "Notes on top-down languages". BIT. 9 (3): 225–238. doi:10.1007/BF01946814. S2CID 60912010.
Rosenkrantz, D. J.; Stearns, R. E. (1970). "Properties of Deterministic Top Down Grammars". Information and Control. 17 (3): 226–256. doi:10.1016/s0019-9958(70)90446-8. Here: p.246–247
Sénizergues, Géraud (1997). "The equivalence problem for deterministic pushdown automata is decidable". Proc. Int. Coll. on Automata, Languages, and Programming (ICALP). Lecture Notes in Computer Science. Vol. 1256. pp. 671–681. doi:10.1007/3-540-63165-8_221. ISBN 978-3-540-63165-1. — Full version: Géraud Sénizergues (1997). L(A) = L(B)? (Technical Report 1161-97). Universite Bordeaux, LaBRI.
Géraud Sénizergues (2001). "Fundamental study: L(A) = L(B)? decidability results from complete formal systems". Theoretical Computer Science. 251 (1–2): 1–166. doi:10.1016/S0304-3975(00)00285-1.
Géraud Sénizergues (2002). "L(A) = L(B)? A simplified decidability proof". Theoretical Computer Science. 281 (1–2): 555–608. doi:10.1016/S0304-3975(02)00027-0.

Kurki-Suonio, R. (1969). "Notes on top-down languages". BIT. 9 (3): 225–238. doi:10.1007/BF01946814. S2CID 60912010.

Sénizergues, Géraud (1997). "The equivalence problem for deterministic pushdown automata is decidable". Proc. Int. Coll. on Automata, Languages, and Programming (ICALP). Lecture Notes in Computer Science. Vol. 1256. pp. 671–681. doi:10.1007/3-540-63165-8_221. ISBN 978-3-540-63165-1. — Full version: Géraud Sénizergues (1997). L(A) = L(B)? (Technical Report 1161-97). Universite Bordeaux, LaBRI.