{"id":"https://openalex.org/W2065034429","doi":"https://doi.org/10.1137/s0097539793253851","title":"Space-Efficient Deterministic Simulation of Probabilistic Automata","display_name":"Space-Efficient Deterministic Simulation of Probabilistic Automata","publication_year":1998,"publication_date":"1998-04-01","ids":{"openalex":"https://openalex.org/W2065034429","doi":"https://doi.org/10.1137/s0097539793253851","mag":"2065034429"},"language":"en","primary_location":{"id":"doi:10.1137/s0097539793253851","is_oa":false,"landing_page_url":"https://doi.org/10.1137/s0097539793253851","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087302620","display_name":"Ioan I. Macarie","orcid":null},"institutions":[{"id":"https://openalex.org/I5388228","display_name":"University of Rochester","ror":"https://ror.org/022kthw22","country_code":"US","type":"education","lineage":["https://openalex.org/I5388228"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ioan I. Macarie","raw_affiliation_strings":["Dept. of Computer Science, University of Rochester, Rochester,"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Rochester, Rochester,","institution_ids":["https://openalex.org/I5388228"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5087302620"],"corresponding_institution_ids":["https://openalex.org/I5388228"],"apc_list":null,"apc_paid":null,"fwci":2.4544,"has_fulltext":false,"cited_by_count":35,"citation_normalized_percentile":{"value":0.89055183,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"27","issue":"2","first_page":"448","last_page":"465"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9998999834060669,"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.9998999834060669,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11269","display_name":"Algorithms and Data Compression","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/turing-machine","display_name":"Turing machine","score":0.6571717262268066},{"id":"https://openalex.org/keywords/binary-logarithm","display_name":"Binary logarithm","score":0.6480914354324341},{"id":"https://openalex.org/keywords/nspace","display_name":"NSPACE","score":0.6319947242736816},{"id":"https://openalex.org/keywords/dtime","display_name":"DTIME","score":0.6238211989402771},{"id":"https://openalex.org/keywords/pspace","display_name":"PSPACE","score":0.6187446713447571},{"id":"https://openalex.org/keywords/probabilistic-automaton","display_name":"Probabilistic automaton","score":0.5996662378311157},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5760687589645386},{"id":"https://openalex.org/keywords/dspace","display_name":"DSPACE","score":0.5728044509887695},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.5488418340682983},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5385509729385376},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5210739374160767},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4789165258407593},{"id":"https://openalex.org/keywords/probabilistic-turing-machine","display_name":"Probabilistic Turing machine","score":0.4737083613872528},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.46385881304740906},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.3906749188899994},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.281597375869751},{"id":"https://openalex.org/keywords/universal-turing-machine","display_name":"Universal Turing machine","score":0.2084653377532959},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.10836640000343323},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.08270007371902466}],"concepts":[{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.6571717262268066},{"id":"https://openalex.org/C63553672","wikidata":"https://www.wikidata.org/wiki/Q581168","display_name":"Binary logarithm","level":2,"score":0.6480914354324341},{"id":"https://openalex.org/C201958364","wikidata":"https://www.wikidata.org/wiki/Q1756295","display_name":"NSPACE","level":5,"score":0.6319947242736816},{"id":"https://openalex.org/C15547884","wikidata":"https://www.wikidata.org/wiki/Q1155831","display_name":"DTIME","level":5,"score":0.6238211989402771},{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.6187446713447571},{"id":"https://openalex.org/C174784677","wikidata":"https://www.wikidata.org/wiki/Q176567","display_name":"Probabilistic automaton","level":3,"score":0.5996662378311157},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5760687589645386},{"id":"https://openalex.org/C38264464","wikidata":"https://www.wikidata.org/wiki/Q1155722","display_name":"DSPACE","level":2,"score":0.5728044509887695},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.5488418340682983},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5385509729385376},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5210739374160767},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4789165258407593},{"id":"https://openalex.org/C144271403","wikidata":"https://www.wikidata.org/wiki/Q1191836","display_name":"Probabilistic Turing machine","level":5,"score":0.4737083613872528},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.46385881304740906},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.3906749188899994},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.281597375869751},{"id":"https://openalex.org/C131671149","wikidata":"https://www.wikidata.org/wiki/Q2703890","display_name":"Universal Turing machine","level":4,"score":0.2084653377532959},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.10836640000343323},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.08270007371902466},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/s0097539793253851","is_oa":false,"landing_page_url":"https://doi.org/10.1137/s0097539793253851","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1963893271","https://openalex.org/W1970424643","https://openalex.org/W1970629906","https://openalex.org/W1975698236","https://openalex.org/W1976618502","https://openalex.org/W1982129592","https://openalex.org/W1987322712","https://openalex.org/W2006087776","https://openalex.org/W2007736689","https://openalex.org/W2009402581","https://openalex.org/W2012539169","https://openalex.org/W2017205387","https://openalex.org/W2017838066","https://openalex.org/W2041371169","https://openalex.org/W2049055375","https://openalex.org/W2052788392","https://openalex.org/W2056352038","https://openalex.org/W2059442002","https://openalex.org/W2062312918","https://openalex.org/W2062531583","https://openalex.org/W2088141885","https://openalex.org/W2088366690","https://openalex.org/W2113097540","https://openalex.org/W2126423487","https://openalex.org/W2126466445","https://openalex.org/W2158396815","https://openalex.org/W4212875940"],"related_works":["https://openalex.org/W2008300589","https://openalex.org/W2080505327","https://openalex.org/W2070488416","https://openalex.org/W2022693656","https://openalex.org/W21360042","https://openalex.org/W1486286946","https://openalex.org/W1555195996","https://openalex.org/W3192680852","https://openalex.org/W4388215614","https://openalex.org/W2065034429"],"abstract_inverted_index":{"Given":[0],"a":[1,4,29,197,267,282,293,301],"description":[2],"of":[3,20,40,55,72,126,243,263,269,297,300],"probabilistic":[5,8,12,58,203],"automaton":[6,10],"(one-head":[7],"finite-state":[9,59],"or":[11],"Turing":[13,31,169,204],"machine)":[14],"and":[15,80,233],"an":[16],"input":[17,42],"string":[18,43],"x":[19],"length":[21],"n,":[22,186],"we":[23,231],"ask":[24],"how":[25],"much":[26],"space":[27,172,183,219],"does":[28],"deterministic":[30],"machine":[32],"need":[33],"in":[34,52,111,130,154,165,175,182,224,261,278],"order":[35],"to":[36,250,290],"decide":[37],"the":[38,41,53,70,102,201,298],"acceptance":[39],"by":[44,75,150,162,221],"that":[45,96],"automaton?":[46],"The":[47,88,123,143,206],"question":[48],"is":[49,133,196,283],"interesting":[50],"even":[51],"case":[54],"one-head":[56],"one-way":[57],"automata":[60],"(1pfa's).":[61],"We":[62],"call":[63],"(rational)":[64],"stochastic":[65],"languages}":[66],"($\\SS_{rat}^{":[67],">":[68,91,113,128,137],"}$)":[69],"class":[71,89],"languages":[73,95,108],"recognized":[74],"1pfa's":[76],"whose":[77],"transition":[78],"probabilities":[79],"cutpoints":[81],"(i.e.,":[82,135],"recognition":[83],"thresholds)":[84],"are":[85,97,106,118,242],"rational":[86],"numbers.":[87],"$\\SS_{rat}^{":[90,112,127,136],"}$":[92,129],"contains":[93],"context-sensitive":[94],"not":[98,109],"context-free,":[99],"but":[100],"on":[101,200],"other":[103],"hand":[104],"there":[105],"context-free":[107],"included":[110],"}$.":[114],"Our":[115],"main":[116],"results":[117,230],"as":[119],"follows:":[120],"\\begin{itemize}":[121,246],"\\item{":[122,167],"(proper)":[124],"inclusion":[125],"$\\zlo$,":[131],"which":[132,241],"optimal":[134],"}":[138],"\\not":[139],"\\subset$":[140],"\\Dspace$(o(\\log":[141],"n))$).":[142],"previous":[144],"upper":[145],"bounds":[146],"were":[147],"\\Dspace$(n)$":[148],"(obtained":[149,161,220],"P.":[151],"D.":[152],"Dieu":[153],"1972)":[155],"and\\linebreak[4]\\Dspace$(\\log":[156],"n":[157,188,213],"\\log":[158,159,187,191,192],"n)$":[160],"H.":[163,222],"Jung":[164,223],"1984).}":[166,225],"Probabilistic":[168],"machines":[170],"with":[171,295],"bound":[173],"f(n)":[174],"O(log":[176,212,255],"n)":[177,256],"can":[178],"be":[179],"deterministically":[180,292],"simulated":[181,202],"$O(\\min":[184],"(c^{f(n)}\\log":[185],"(f(n)":[189,214],"+":[190,215],"n)))$,":[193],"where":[194],"c":[195],"constant":[198],"depending":[199],"machine.":[205],"best":[207],"previously":[208],"known":[209],"simulation":[210],"uses":[211],"log":[216,217],"n))":[218],"\\end{itemize}":[226,305],"To":[227],"obtain":[228],"these":[229],"develop":[232],"use":[234],"two":[235],"space-efficient":[236],"(but":[237],"also":[238],"parallel-time-efficient)":[239],"techniques,":[240],"independent":[244],"interest:":[245],"\\item":[247,287],"{a":[248,288],"technique":[249,289],"compare":[251,291],"deterministically,":[252],"using":[253],"only":[254],"space,":[257],"large":[258],"numbers":[259],"given":[260,302],"terms":[262],"their":[264],"values":[265],"modulo":[266],"sequence":[268],"primes,":[270],"p1":[271],"<":[272,274,276],"p2":[273],"\\cdots":[275],"pn":[277],"O(na":[279],")":[280],"(where":[281],"some":[284],"arbitrary":[285],"constant);}":[286],"threshold":[294],"entries":[296],"inverse":[299],"banded":[303],"matrix.}":[304]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}