{"id":"W2941439348","doi":"10.48550/arxiv.1904.11100","title":"Decision Problems for Restricted Variants of Two-Dimensional Automata","year":2019,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Nondeterministic finite automaton; Deterministic automaton; Nondeterministic algorithm; Decidability; Discrete mathematics; Deterministic finite automaton; Mathematics; Combinatorics; Decision problem; Two-way deterministic finite automaton; Unary operation; Büchi automaton; Undecidable problem; Equivalence (formal languages); Automaton; Automata theory; Finite-state machine; Computer science; Algorithm; Theoretical computer science","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.002650986,0.0004847567,0.0006812669,0.0005038036,0.0009383547,0.002683014,0.001865235,0.001360017,0.003313676],"category_scores_gemma":[0.01137824,0.0005383613,0.001765653,0.0005885331,0.0029071,0.004412905,0.002874531,0.00257559,0.0003220964],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001937205,"about_ca_system_score_gemma":0.001028415,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002137512,"about_ca_topic_score_gemma":0.001817588,"domain_scores_codex":[0.9958875,0.001179686,0.0005218962,0.001324686,0.0006252421,0.0004609927],"domain_scores_gemma":[0.9826418,0.01383284,0.0006922508,0.001502029,0.0007951314,0.0005358892],"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.0005724836,0.0003069516,0.002981883,0.0003851009,0.0001109028,0.0009743907,0.001432914,0.1225984,0.007805232,0.8282272,0.002722442,0.03188209],"study_design_scores_gemma":[0.0001671013,0.00008426398,0.0004251807,0.00002738608,0.00004116513,0.0002821189,0.0002716815,0.2752109,0.004183375,0.7160292,0.003235242,0.00004247282],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4368028,0.0007164707,0.5411941,0.001887491,0.0001814543,0.0004004706,0.0009979588,0.0007257341,0.01709348],"genre_scores_gemma":[0.9089223,0.0002335397,0.08421662,0.0002423524,0.00008945703,0.0003006733,0.001076122,0.00007178217,0.004847101],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003313676,"threshold_uncertainty_score":0.01405549,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05830578397450525,"score_gpt":0.2040635786204709,"score_spread":0.1457577946459656,"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."}}