{"id":"W69945531","doi":"10.1007/978-0-387-68759-9_6","title":"Implementation of Automata Manipulations","year":2011,"lang":"en","type":"book-chapter","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Computer Research Institute of Montréal","funders":"","keywords":"Automaton; Computer science; Predicate (mathematical logic); Boolean function; Finite-state machine; Theoretical computer science; Transition system; Transition (genetics); Algorithm; 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.000213112,0.0001198281,0.0001408621,0.0001549675,0.00003186668,0.00001885684,0.0006033669,0.0001054951,0.000882969],"category_scores_gemma":[0.000004701666,0.0001177856,0.00006306299,0.00003246399,0.00002925011,0.0003153902,0.0001703686,0.00007642803,0.0001462594],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003241122,"about_ca_system_score_gemma":0.00005567077,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006434262,"about_ca_topic_score_gemma":0.0000206118,"domain_scores_codex":[0.9991201,0.00001318624,0.0003571339,0.0002214044,0.0002006691,0.00008750668],"domain_scores_gemma":[0.9987783,0.00001810917,0.0003144269,0.0007574945,0.0001022644,0.00002935352],"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":[3.514303e-7,0.000003089573,0.00000759718,0.00001181255,0.0000105941,2.537544e-7,0.00009711077,6.44051e-7,0.00001618483,0.923181,0.0004071167,0.07626423],"study_design_scores_gemma":[0.0003386785,0.0002113253,0.005728955,0.00007273849,0.00005951688,0.00001834502,0.00002134095,0.007980478,0.007063392,0.8558233,0.1220469,0.000634987],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000002177597,0.00001116461,0.5133173,0.00001759475,0.0001571677,0.0001119332,0.000003810811,0.00008451364,0.4862943],"genre_scores_gemma":[0.001786577,0.00003135916,0.8493414,0.00003921251,0.00002821767,0.000007848088,0.00002036985,0.00001539293,0.1487297],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3375646,"threshold_uncertainty_score":0.9667891,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1036110237776763,"score_gpt":0.340985924269885,"score_spread":0.2373749004922087,"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."}}