{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008329541,0.0001003614,0.0001697965,0.0006216578,0.0001006083,0.0006261677,0.004278657,0.00002460427,0.00007696269],"category_scores_gemma":[0.000131218,0.0000847545,0.0001039972,0.0005634089,0.0005137644,0.003346854,0.0004568554,0.0001102582,0.00004942535],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007923967,"about_ca_system_score_gemma":0.0005200949,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002578276,"about_ca_topic_score_gemma":5.652059e-7,"domain_scores_codex":[0.9979044,0.00003656764,0.0006134019,0.0001924235,0.001071286,0.0001819185],"domain_scores_gemma":[0.9965689,0.0001625871,0.0005936859,0.0003774034,0.002177114,0.0001202885],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000005960536,0.0003039937,0.0004673874,0.000005913868,0.00009339132,0.00003019486,0.0007187536,0.001593024,0.01563457,0.3896422,0.001526783,0.5899778],"study_design_scores_gemma":[0.001470727,0.0004541539,0.03932428,0.0002033887,0.00001253302,0.001590274,0.00005705397,0.7839461,0.01261235,0.157887,0.002085419,0.0003567529],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09923722,0.00002147769,0.8933226,0.003793476,0.002569963,0.00006799653,0.000001878202,0.0000390302,0.0009463749],"genre_scores_gemma":[0.7605737,0.000007918684,0.2390082,0.0002515588,0.000135113,0.000001060117,6.069706e-7,0.000002778827,0.0000190994],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7823531,"threshold_uncertainty_score":0.7950882,"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."}}