{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008905017,0.0009912635,0.0006955297,0.0009185104,0.001079763,0.003061572,0.00215721,0.001100293,0.0335371],"category_scores_gemma":[0.003866293,0.0009216637,0.001256312,0.0007771763,0.001719266,0.003883576,0.002684296,0.002318194,0.01391602],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008916631,"about_ca_system_score_gemma":0.001218987,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007394747,"about_ca_topic_score_gemma":0.001031452,"domain_scores_codex":[0.998417,0.0003709151,0.0001099218,0.0002965816,0.0006707846,0.0001347257],"domain_scores_gemma":[0.9985934,0.0004194931,0.00003733257,0.0007142793,0.0002061355,0.00002931771],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001246928,0.000093085,0.000145462,0.0003818775,0.00004266048,0.0001614095,0.0004934639,0.00350227,0.01981303,0.702772,0.01691626,0.2555538],"study_design_scores_gemma":[0.00008182922,0.00008725542,0.0002384411,0.0002473503,0.0001073318,0.000484478,0.0001481563,0.04516258,0.1099548,0.4523567,0.3910657,0.00006537659],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.004128985,0.0005197169,0.8746124,0.000327202,0.0005081267,0.0002532064,0.0003087977,0.008261081,0.1110805],"genre_scores_gemma":[0.1866138,0.001439725,0.691324,0.0005212221,0.0002028669,0.0008708166,0.001252378,0.003271588,0.1145037],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.0335371,"threshold_uncertainty_score":0.1121929,"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."}}