{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004099595,0.000300243,0.0004598784,0.0003494244,0.000096472,0.00007069716,0.00232816,0.0002760627,0.00002119926],"category_scores_gemma":[0.00008077997,0.0003119066,0.000257626,0.0005557408,0.00007251246,0.0003580486,0.002551796,0.0002929811,0.00005027424],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001053224,"about_ca_system_score_gemma":0.000333257,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009100031,"about_ca_topic_score_gemma":0.000008250286,"domain_scores_codex":[0.9979186,0.0001051569,0.0003365367,0.001128547,0.0001639828,0.0003471927],"domain_scores_gemma":[0.9967647,0.0005960033,0.0004670574,0.001782839,0.0002713064,0.0001180918],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00009598261,0.000241558,0.0005146644,0.0001998958,0.00012097,0.00005803602,0.00009335309,0.6837567,0.0007934807,0.3104557,0.001249124,0.00242051],"study_design_scores_gemma":[0.00123958,0.00008971639,0.002160585,0.000286006,0.00004198711,0.000004909155,0.000005055649,0.7901859,0.0001738434,0.2053908,0.0001286325,0.0002930025],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3493159,0.00004862376,0.648351,0.00003283665,0.0009438143,0.0005941762,0.00006949285,0.0002172988,0.0004269347],"genre_scores_gemma":[0.9765687,0.00002584217,0.02259634,0.0000524588,0.00004333353,0.000001891926,0.00004419651,0.00002177871,0.0006454433],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6272529,"threshold_uncertainty_score":0.9999333,"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."}}