{"id":"W1943597037","doi":"10.3233/fi-2012-670","title":"State Complexity of Combined Operations with Union, Intersection, Star and Reversal","year":2012,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"semigroups and automata theory","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Intersection (aeronautics); Star (game theory); State (computer science); Regular language; Mathematics; Combined operations; Computer science; Discrete mathematics; Combinatorics; Algorithm; Theoretical computer science; Automaton; Political science; Engineering","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.002311632,0.0007715461,0.001247023,0.001260112,0.001503201,0.005902084,0.002398134,0.001387373,0.01241292],"category_scores_gemma":[0.01731133,0.0006257193,0.001822522,0.001618705,0.00288262,0.01338684,0.003428007,0.002853348,0.0009158764],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002737174,"about_ca_system_score_gemma":0.003633303,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003115294,"about_ca_topic_score_gemma":0.003278335,"domain_scores_codex":[0.9947831,0.0008570055,0.0004995182,0.001029268,0.001496053,0.001334991],"domain_scores_gemma":[0.9683816,0.02321249,0.002103588,0.003748442,0.001557025,0.0009968508],"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.006700809,0.001127546,0.01927537,0.001375223,0.0003906779,0.000991241,0.002009578,0.3047369,0.04558984,0.4909847,0.005417406,0.1214007],"study_design_scores_gemma":[0.0001742504,0.0005820189,0.002458922,0.0000668406,0.0003056378,0.0004343148,0.0007214631,0.7066734,0.0424496,0.2423473,0.003634355,0.0001518975],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7881254,0.0005297895,0.1954993,0.0008662028,0.00008048707,0.0002271623,0.001048272,0.001298587,0.01232491],"genre_scores_gemma":[0.967839,0.0001766353,0.02795897,0.0000564411,0.00004402165,0.0002040423,0.0006895289,0.0002098884,0.002821393],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01241292,"threshold_uncertainty_score":0.0415253,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01934586444064587,"score_gpt":0.2307020501458066,"score_spread":0.2113561857051607,"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."}}