{"id":"W2163125260","doi":"10.1142/s0129054113400339","title":"UNAMBIGUOUS CONSTRAINED AUTOMATA","year":2013,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal; Université de Montréal","funders":"","keywords":"Decidability; Class (philosophy); Automaton; Closure (psychology); Set (abstract data type); Bounded function; Discrete mathematics; Mathematics; Tree automaton; Computer science; Combinatorics; Theoretical computer science; Programming language","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.001075184,0.0006881305,0.0006749241,0.0006860691,0.001325412,0.003358249,0.001692248,0.001052539,0.00642074],"category_scores_gemma":[0.007505685,0.0005142576,0.001160447,0.001022132,0.002479106,0.004530803,0.002514175,0.001912436,0.001043629],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009609629,"about_ca_system_score_gemma":0.002172836,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002867193,"about_ca_topic_score_gemma":0.003422384,"domain_scores_codex":[0.9972446,0.0004478833,0.0002866406,0.0008587558,0.0008045378,0.0003575867],"domain_scores_gemma":[0.9932313,0.002944757,0.0008949256,0.001723564,0.0008910286,0.0003145564],"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.0001050821,0.00006624574,0.0007850138,0.0001641647,0.00001985631,0.0004135024,0.0004022545,0.01394763,0.009526296,0.9521992,0.001928226,0.02044252],"study_design_scores_gemma":[0.00004540919,0.00006546067,0.000468116,0.00006389849,0.00004740036,0.00045638,0.00023621,0.06630538,0.0115346,0.8930016,0.02771072,0.00006474926],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08829412,0.0008049485,0.8634813,0.0008140425,0.0002232988,0.0003215316,0.001673339,0.002249374,0.0421381],"genre_scores_gemma":[0.8105831,0.0007520307,0.1748012,0.000582156,0.0001626908,0.0004517892,0.001424201,0.0003109209,0.010932],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00642074,"threshold_uncertainty_score":0.02147949,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01103288366745606,"score_gpt":0.2731136558638009,"score_spread":0.2620807721963448,"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."}}