{"id":"W2087404611","doi":"10.1016/s0304-3975(98)00047-4","title":"Alternating finite automata and star-free languages","year":2000,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Star (game theory); Automaton; Two-way deterministic finite automaton; Deterministic automaton; Regular language; Regular expression; Nondeterministic finite automaton; Mathematics; Class (philosophy); Finite-state machine; Construct (python library); Discrete mathematics; Representation (politics); Loop (graph theory); Deterministic finite automaton; Computer science; Combinatorics; Automata theory; Algorithm; Theoretical computer science; Programming language; Mathematical analysis; 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":[],"consensus_categories":[],"category_scores_codex":[0.001286993,0.0001843191,0.0001833182,0.0001230701,0.00039122,0.0007238901,0.003344245,0.00003912292,0.0002072281],"category_scores_gemma":[0.000108081,0.0001482953,0.00003862095,0.0006192748,0.001749554,0.0008857477,0.001430259,0.0001645308,0.0001061927],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002301905,"about_ca_system_score_gemma":0.00004605003,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009487589,"about_ca_topic_score_gemma":4.855254e-7,"domain_scores_codex":[0.9978278,0.00009169729,0.0002296395,0.0007135113,0.0005769333,0.0005604358],"domain_scores_gemma":[0.9979806,0.0004134618,0.0000438701,0.00125558,0.0000516284,0.000254858],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002897467,0.00002210629,0.00003315525,0.000004535319,0.000002235384,0.00002615066,0.0003781861,0.00004633442,0.0001665383,0.7462762,0.0000426489,0.252999],"study_design_scores_gemma":[0.0002894116,0.00011386,0.00181554,0.00003551767,0.000002596376,0.00007068544,0.000008153709,0.804341,0.001243272,0.1916287,0.0002321156,0.0002191447],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4481916,0.00009845735,0.5396059,0.001435646,0.0002058443,0.0001092292,0.000004422016,0.0005894561,0.009759554],"genre_scores_gemma":[0.8286527,0.00001794386,0.1701826,0.0009869811,0.0001082931,0.000003139214,5.383069e-7,0.000007571677,0.00004022782],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8042947,"threshold_uncertainty_score":0.6980489,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005757112725756986,"score_gpt":0.2369941629309245,"score_spread":0.2312370502051675,"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."}}