{"id":"W4230442289","doi":"10.1007/978-3-642-22321-1_10","title":"Theory of Átomata","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Nondeterministic finite automaton; Deterministic automaton; Büchi automaton; Computer science; Deterministic finite automaton; Two-way deterministic finite automaton; Automaton; Nondeterministic algorithm; Finite-state machine; Regular language; Regular expression; Quotient; Discrete mathematics; Mathematics; Combinatorics; Theoretical computer science; Algorithm; Programming language; Automata theory","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","open_science"],"consensus_categories":[],"category_scores_codex":[0.001566789,0.0004518542,0.0005764327,0.0007541251,0.0001151877,0.0001567097,0.005402532,0.0002859295,0.0001070338],"category_scores_gemma":[0.00008048323,0.0003843721,0.0001637311,0.0004572482,0.001074927,0.0005468969,0.001982384,0.0005175921,0.00006937086],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008951897,"about_ca_system_score_gemma":0.0003708099,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001310711,"about_ca_topic_score_gemma":0.000008092366,"domain_scores_codex":[0.9969255,0.00005297356,0.000557079,0.001192898,0.0007362606,0.0005353045],"domain_scores_gemma":[0.996563,0.0005906151,0.0003904792,0.002150243,0.0001716617,0.000134063],"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.000003982323,0.00001935174,0.00001119155,0.00002695112,0.000008390839,0.00003240273,0.0006022088,0.0002181056,0.0001296121,0.4449024,0.00001275484,0.5540326],"study_design_scores_gemma":[0.0001478292,0.0001305641,0.0001259909,0.0003599246,0.000007633083,0.0000614845,1.404223e-7,0.03443045,0.005258683,0.9583758,0.0006269279,0.0004745427],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000100432,0.0007826869,0.9798201,0.00009781305,0.001298245,0.0002080905,0.000006451657,0.0001828322,0.01750331],"genre_scores_gemma":[0.4627362,0.000128984,0.5335255,0.00176374,0.0004703885,0.000009507065,0.000005704603,0.00007739577,0.001282627],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5535581,"threshold_uncertainty_score":0.9999787,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02020778618841167,"score_gpt":0.2266463861580652,"score_spread":0.2064385999696536,"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."}}