{"id":"W2160340816","doi":"10.1007/978-3-642-31653-1_22","title":"Unambiguous Constrained Automata","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Decidability; Automaton; Computer science; Class (philosophy); Bounded function; Closure (psychology); Set (abstract data type); Discrete mathematics; Tree automaton; Theoretical computer science; Mathematics; Programming language; Artificial intelligence","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.001339556,0.0006687222,0.0006476734,0.0007862616,0.0002765718,0.0006327726,0.004913901,0.0004136553,0.00009776044],"category_scores_gemma":[0.00007771972,0.0006018071,0.0001776296,0.0005636854,0.001152631,0.0009370854,0.001991895,0.0008339756,0.0002706663],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002696292,"about_ca_system_score_gemma":0.0005681086,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001999121,"about_ca_topic_score_gemma":0.00001388847,"domain_scores_codex":[0.9956946,0.00004461238,0.000588442,0.001519458,0.001073397,0.001079487],"domain_scores_gemma":[0.9964702,0.000468189,0.0003246549,0.002263306,0.0001534665,0.000320205],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000002225983,0.00003237753,0.00001427919,0.00002645872,0.00001095799,0.000098882,0.0003858946,0.0009117515,0.0001651418,0.1489994,0.00003678031,0.8493159],"study_design_scores_gemma":[0.0005261558,0.000174313,0.0002065314,0.0004777032,0.00001694888,0.0004901881,1.970007e-7,0.4484071,0.001535175,0.5412726,0.005478661,0.001414454],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00006610728,0.001107891,0.9832842,0.0009010831,0.002612613,0.000320197,0.00001042794,0.0006279892,0.01106948],"genre_scores_gemma":[0.4344791,0.0001324925,0.5590446,0.003992151,0.001254961,0.00001270646,0.00001574721,0.00009512647,0.0009730668],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8479014,"threshold_uncertainty_score":0.9996433,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01443059452576286,"score_gpt":0.2328909113253995,"score_spread":0.2184603167996366,"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."}}