{"id":"https://openalex.org/W1930049440","doi":"https://doi.org/10.15439/2015f325","title":"A New Algorithm for the Determinisation of Visibly Pushdown Automata","display_name":"A New Algorithm for the Determinisation of Visibly Pushdown Automata","publication_year":2015,"publication_date":"2015-10-11","ids":{"openalex":"https://openalex.org/W1930049440","doi":"https://doi.org/10.15439/2015f325","mag":"1930049440"},"language":"en","primary_location":{"id":"doi:10.15439/2015f325","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2015f325","pdf_url":"https://annals-csis.org/proceedings/2015/pliks/325.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://annals-csis.org/proceedings/2015/pliks/325.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5042213167","display_name":"Radom\u00edr Pol\u00e1ch","orcid":"https://orcid.org/0000-0001-8381-0866"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Radom\u00edr Pol\u00e1ch","raw_affiliation_strings":["Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague, ul. Th\u00e1kurova 9, 160 00 6, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague, ul. Th\u00e1kurova 9, 160 00 6, Czech Republic","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086333742","display_name":"Jan Tr\u00e1vn\u00ed\u010dek","orcid":"https://orcid.org/0000-0001-9991-9815"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Jan Travni\u010dek","raw_affiliation_strings":["Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague, ul. Th\u00e1kurova 9, 160 00 6, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague, ul. Th\u00e1kurova 9, 160 00 6, Czech Republic","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006012839","display_name":"Jan Janou\u0161ek","orcid":"https://orcid.org/0000-0001-9329-1000"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Jan Janou\u0161ek","raw_affiliation_strings":["Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague, ul. Th\u00e1kurova 9, 160 00 6, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague, ul. Th\u00e1kurova 9, 160 00 6, Czech Republic","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111868243","display_name":"Bo\u0159ivoj Melichar","orcid":null},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Bo\u0159ivoj Melichar","raw_affiliation_strings":["Department of Theoretical Computer Science Faculty of Information Technology Czech Technical University in Prague ul. Thkurova 9, 160 00 Prague 6, Czech Republic","Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague, ul. Th\u00e1kurova 9, 160 00 6, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Theoretical Computer Science Faculty of Information Technology Czech Technical University in Prague ul. Thkurova 9, 160 00 Prague 6, Czech Republic","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague, ul. Th\u00e1kurova 9, 160 00 6, Czech Republic","institution_ids":["https://openalex.org/I44504214"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I44504214"],"apc_list":null,"apc_paid":null,"fwci":0.333,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.48254905,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"5","issue":null,"first_page":"915","last_page":"922"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/pushdown-automaton","display_name":"Pushdown automaton","score":0.9251143932342529},{"id":"https://openalex.org/keywords/embedded-pushdown-automaton","display_name":"Embedded pushdown automaton","score":0.9162864685058594},{"id":"https://openalex.org/keywords/deterministic-pushdown-automaton","display_name":"Deterministic pushdown automaton","score":0.8613871932029724},{"id":"https://openalex.org/keywords/nested-word","display_name":"Nested word","score":0.7589629292488098},{"id":"https://openalex.org/keywords/deterministic-context-free-grammar","display_name":"Deterministic context-free grammar","score":0.7073124647140503},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6737210154533386},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.6098931431770325},{"id":"https://openalex.org/keywords/context-free-language","display_name":"Context-free language","score":0.44777390360832214},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4388103187084198},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.41934558749198914},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3535609245300293},{"id":"https://openalex.org/keywords/nondeterministic-finite-automaton","display_name":"Nondeterministic finite automaton","score":0.2644290328025818},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.2412007451057434},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.12075468897819519},{"id":"https://openalex.org/keywords/quantum-finite-automata","display_name":"Quantum finite automata","score":0.11681663990020752},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08932819962501526},{"id":"https://openalex.org/keywords/context-free-grammar","display_name":"Context-free grammar","score":0.05276140570640564}],"concepts":[{"id":"https://openalex.org/C77944639","wikidata":"https://www.wikidata.org/wiki/Q751443","display_name":"Pushdown automaton","level":3,"score":0.9251143932342529},{"id":"https://openalex.org/C27034413","wikidata":"https://www.wikidata.org/wiki/Q5370010","display_name":"Embedded pushdown automaton","level":5,"score":0.9162864685058594},{"id":"https://openalex.org/C74919329","wikidata":"https://www.wikidata.org/wiki/Q378713","display_name":"Deterministic pushdown automaton","level":5,"score":0.8613871932029724},{"id":"https://openalex.org/C92117001","wikidata":"https://www.wikidata.org/wiki/Q6997829","display_name":"Nested word","level":5,"score":0.7589629292488098},{"id":"https://openalex.org/C177638518","wikidata":"https://www.wikidata.org/wiki/Q3435975","display_name":"Deterministic context-free grammar","level":5,"score":0.7073124647140503},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6737210154533386},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.6098931431770325},{"id":"https://openalex.org/C198838072","wikidata":"https://www.wikidata.org/wiki/Q729271","display_name":"Context-free language","level":3,"score":0.44777390360832214},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4388103187084198},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.41934558749198914},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3535609245300293},{"id":"https://openalex.org/C158008952","wikidata":"https://www.wikidata.org/wiki/Q617295","display_name":"Nondeterministic finite automaton","level":4,"score":0.2644290328025818},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.2412007451057434},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.12075468897819519},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.11681663990020752},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08932819962501526},{"id":"https://openalex.org/C97212296","wikidata":"https://www.wikidata.org/wiki/Q338047","display_name":"Context-free grammar","level":3,"score":0.05276140570640564},{"id":"https://openalex.org/C134083981","wikidata":"https://www.wikidata.org/wiki/Q1754022","display_name":"Tree-adjoining grammar","level":4,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.15439/2015f325","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2015f325","pdf_url":"https://annals-csis.org/proceedings/2015/pliks/325.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:doaj.org/article:3d751191113243668dfd4fbb34e3130a","is_oa":false,"landing_page_url":"https://doaj.org/article/3d751191113243668dfd4fbb34e3130a","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Annals of computer science and information systems, Vol 5, Pp 915-922 (2015)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.15439/2015f325","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2015f325","pdf_url":"https://annals-csis.org/proceedings/2015/pliks/325.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Quality Education","score":0.49000000953674316,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1930049440.pdf","grobid_xml":"https://content.openalex.org/works/W1930049440.grobid-xml"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W1484039100","https://openalex.org/W1559554095","https://openalex.org/W1599939219","https://openalex.org/W1696256972","https://openalex.org/W1804522637","https://openalex.org/W1891022440","https://openalex.org/W2002089154","https://openalex.org/W2003250112","https://openalex.org/W2024000270","https://openalex.org/W2120538043","https://openalex.org/W2137370934","https://openalex.org/W2151033407","https://openalex.org/W2153794097","https://openalex.org/W3139771938","https://openalex.org/W3147158980","https://openalex.org/W4302339081","https://openalex.org/W6636040574","https://openalex.org/W6680587329"],"related_works":["https://openalex.org/W2067895928","https://openalex.org/W2472752294","https://openalex.org/W127918926","https://openalex.org/W1486486721","https://openalex.org/W2089141720","https://openalex.org/W214992615","https://openalex.org/W2049492436","https://openalex.org/W4206600150","https://openalex.org/W2400175085","https://openalex.org/W2116448069"],"abstract_inverted_index":{"Visibly":[0],"pushdown":[1,4,7,29,38,55,72,87],"automata":[2,5,39,56],"are":[3,9,89],"whose":[6],"operations":[8],"determined":[10],"by":[11],"the":[12,16,50,62,94],"input":[13,17],"symbol,":[14],"where":[15],"alphabet":[18],"is":[19,32,57,75],"partitioned":[20],"into":[21],"three":[22],"parts":[23],"for":[24,49],"push,":[25],"pop":[26],"and":[27,65,83,86,91],"local":[28],"operations.":[30],"It":[31],"well":[33],"known":[34],"that":[35,80],"nondeterministic":[36,53],"visibly":[37,54],"can":[40,66],"be":[41],"determinised.":[42],"In":[43],"this":[44],"paper":[45],"a":[46,78],"new":[47],"algorithm":[48,60],"determinisation":[51],"of":[52],"presented.":[58],"The":[59],"improves":[61],"existing":[63],"methods":[64],"result":[67],"in":[68,77],"significantly":[69],"smaller":[70],"deterministic":[71],"automata.":[73],"This":[74],"achieved":[76],"way":[79],"only":[81],"necessary":[82],"accessible":[84],"states":[85],"symbols":[88],"computed":[90],"constructed":[92],"during":[93],"determinisation.":[95]},"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}