Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
It is known that determinizing a nondeterministic input-driven pushdown automaton (NIDPDA) of size n results in the worst case in a machine of size (R. Alur, P. Madhusudan, "Adding nesting structure to words", J.ACM 56(3), 2009). This paper considers the special case of k-path NIDPDAs, which have at most k computations on any input. It is shown that the smallest deterministic IDPDA equivalent to a k-path NIDPDA of size n is of size Θ(n k ). The paper also gives an algorithm for deciding whether or not a given NIDPDA has the k-path property, for a given k; if k is fixed, the problem is P-complete.
| Original language | English |
|---|---|
| Title of host publication | Developments in Language Theory - 18th International Conference, DLT 2014, Proceedings |
| Publisher | Springer Nature |
| Pages | 84-102 |
| Number of pages | 19 |
| ISBN (Print) | 9783319096971 |
| DOIs | |
| State | Published - 1 Jan 2014 |
| Event | 18th International Conference on Developments in Language Theory, DLT 2014 - Ekaterinburg, Russian Federation Duration: 26 Aug 2014 → 29 Aug 2014 |
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 8633 LNCS |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
| Conference | 18th International Conference on Developments in Language Theory, DLT 2014 |
|---|---|
| Country/Territory | Russian Federation |
| City | Ekaterinburg |
| Period | 26/08/14 → 29/08/14 |
ID: 41142653