{"id":"W2007245320","doi":"10.1016/j.tcs.2009.02.022","title":"On the intersection of regex languages with regular languages","year":2009,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Prince Edward Island","funders":"","keywords":"Regular language; Computer science; Regular expression; Intersection (aeronautics); Closure (psychology); Programming language; Pushdown automaton; Automaton; Language family; Semantics (computer science); Formal language; Nondeterministic finite automaton; Theoretical computer science; Class (philosophy); Discrete mathematics; Mathematics; Automata theory; Artificial intelligence; Linguistics","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.001075563,0.0001313989,0.0001434269,0.00009265732,0.0001879516,0.000167051,0.001822774,0.00002886729,0.00002689847],"category_scores_gemma":[0.00007044591,0.0000693393,0.00004411179,0.0007760542,0.001378955,0.0002904472,0.0002121832,0.0001458844,0.00001690912],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002973692,"about_ca_system_score_gemma":0.00004184113,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002819663,"about_ca_topic_score_gemma":3.398756e-7,"domain_scores_codex":[0.99853,0.0001030865,0.0001530087,0.0003967123,0.0005264116,0.0002907432],"domain_scores_gemma":[0.9985482,0.0003188166,0.00007465856,0.0008931364,0.00008606922,0.00007916055],"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.00001282365,0.00004092035,0.000004568702,0.000001926555,0.000002549983,0.0000104953,0.0005116352,0.00005495994,0.002100154,0.9587446,0.00007664695,0.03843876],"study_design_scores_gemma":[0.000308804,0.001857496,0.003262499,0.0001937521,0.000007842901,0.0001174101,0.0002187977,0.1933637,0.1011025,0.6992236,0.00003724911,0.0003063716],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2903946,0.00002399009,0.6985022,0.002483783,0.00008614163,0.000103175,5.665106e-7,0.0001424492,0.008263047],"genre_scores_gemma":[0.9749957,9.154808e-7,0.0236107,0.00131854,0.0000532797,0.000001875712,2.543311e-7,0.000003811447,0.00001496465],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6846011,"threshold_uncertainty_score":0.5080817,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004291568309149471,"score_gpt":0.2292128165166391,"score_spread":0.2249212482074896,"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."}}