{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004025736,0.0007842463,0.001710507,0.002680768,0.003371241,0.006788173,0.001976954,0.001850992,0.008797784],"category_scores_gemma":[0.01199203,0.00155032,0.001952543,0.002196601,0.006101433,0.01668086,0.006159918,0.00456749,0.001192587],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001637389,"about_ca_system_score_gemma":0.0009264409,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008504984,"about_ca_topic_score_gemma":0.0005806595,"domain_scores_codex":[0.9963586,0.001267906,0.0002615873,0.0007116969,0.0007718924,0.0006283292],"domain_scores_gemma":[0.9834125,0.01180694,0.001401154,0.001060016,0.001277585,0.001041753],"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.0001521922,0.00002648814,0.0003969487,0.0000322462,0.00001144233,0.0001771759,0.0007318121,0.0008453847,0.0006370494,0.9927643,0.0005220781,0.003702886],"study_design_scores_gemma":[0.00002152381,0.00003461241,0.0002278843,0.0000309364,0.00001910014,0.0002315522,0.0003489653,0.007139806,0.0008298734,0.9883293,0.00276511,0.00002130919],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5206114,0.002244387,0.3329,0.003537852,0.0003422174,0.0001044413,0.0005195549,0.00105057,0.1386896],"genre_scores_gemma":[0.9351267,0.0009517636,0.0413655,0.0005319561,0.0005089868,0.0001666951,0.0007735474,0.0004578705,0.02011699],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008797784,"threshold_uncertainty_score":0.02943158,"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."}}