{"id":"W154460323","doi":"10.1007/978-3-642-31623-4_9","title":"Syntactic Complexities of Some Classes of Star-Free Languages","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Abstract family of languages; Cardinality (data modeling); Computer science; Monotonic function; Regular language; Pumping lemma for regular languages; Cone (formal languages); Star (game theory); Discrete mathematics; Upper and lower bounds; Context-free language; Function (biology); Automaton; Mathematics; Theoretical computer science; Artificial intelligence; Algorithm; Second-generation programming language; Programming language; Fifth-generation programming language; Rule-based machine translation; Programming paradigm","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"],"consensus_categories":[],"category_scores_codex":[0.0008021235,0.0004127238,0.0007380121,0.000708769,0.00009104303,0.0001199992,0.004406155,0.0002131412,0.00005179197],"category_scores_gemma":[0.0001300966,0.000357021,0.0001598524,0.0003482023,0.001233262,0.0008960922,0.001923953,0.0004265516,0.00001084735],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001026248,"about_ca_system_score_gemma":0.0003049538,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006537145,"about_ca_topic_score_gemma":0.00002995082,"domain_scores_codex":[0.9971437,0.00004837357,0.0006161839,0.0007211256,0.0009301623,0.0005404001],"domain_scores_gemma":[0.9961565,0.001029632,0.0005619117,0.001944305,0.0001922868,0.0001153918],"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":[0.00001069191,0.00008715663,0.0001180403,0.0003647161,0.0000410531,0.00003308756,0.001931173,0.001041048,0.001849131,0.7206985,0.00005320901,0.2737722],"study_design_scores_gemma":[0.000419976,0.0003386581,0.0009212235,0.001171949,0.00003088858,0.00008053082,0.00000466493,0.05492631,0.02808116,0.9125322,0.000615862,0.000876561],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002122816,0.005003862,0.988335,0.000367266,0.001050525,0.0002495841,0.00003892999,0.0001316818,0.002700299],"genre_scores_gemma":[0.7361444,0.0001142761,0.2626385,0.0004963564,0.0004117245,0.000004013108,0.000005318862,0.0000345423,0.0001508771],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7340215,"threshold_uncertainty_score":0.9998882,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01951362498775508,"score_gpt":0.2512381503696763,"score_spread":0.2317245253819213,"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."}}