{"id":"W2028475750","doi":"10.1016/j.tcs.2012.04.002","title":"One-reversal counter machines and multihead automata: Revisited","year":2012,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University; Google (Canada)","funders":"","keywords":"Pushdown automaton; Deterministic pushdown automaton; Deterministic context-free grammar; Computer science; Nested word; Finite-state machine; Embedded pushdown automaton; Deterministic finite automaton; Counterexample; Theoretical computer science; Automaton; Algorithm; Discrete mathematics; Automata theory; Mathematics; Quantum finite automata; Programming language; Nondeterministic finite automaton; Parsing; Context-free grammar","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002433768,0.000699977,0.001303079,0.00161557,0.002272451,0.004697144,0.003442323,0.006053627,0.01344656],"category_scores_gemma":[0.007794563,0.0006864127,0.001160621,0.002672974,0.007472861,0.01395842,0.002481623,0.005935828,0.001431901],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002183318,"about_ca_system_score_gemma":0.001447558,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001947248,"about_ca_topic_score_gemma":0.002749333,"domain_scores_codex":[0.9988183,0.0004385807,0.00006864881,0.0002792946,0.0002116782,0.00018341],"domain_scores_gemma":[0.9925556,0.004676157,0.0005342685,0.001287977,0.0005979873,0.0003480926],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001280016,0.000008014284,0.00008030891,0.00002616495,0.000002929185,0.00003106364,0.00008133921,0.0002744851,0.0001036562,0.9949263,0.0009803708,0.003472526],"study_design_scores_gemma":[0.000007488297,0.000007539503,0.00009742454,0.00001728333,0.000004799279,0.00005766442,0.0000782155,0.002456812,0.0001272633,0.9949438,0.002194009,0.000007663669],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1993948,0.0406726,0.3409164,0.06778302,0.004992275,0.0001286878,0.0004833803,0.0008369947,0.3447919],"genre_scores_gemma":[0.929365,0.006569195,0.031693,0.00402534,0.002191155,0.0001082221,0.0001217297,0.000143804,0.0257825],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01344656,"threshold_uncertainty_score":0.04498327,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01136896887461273,"score_gpt":0.2533445139941322,"score_spread":0.2419755451195195,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}