{"id":"W1995220817","doi":"10.1007/s00236-009-0090-y","title":"On the closure of pattern expressions languages under intersection with regular languages","year":2009,"lang":"en","type":"article","venue":"Acta Informatica","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Prince Edward Island","funders":"","keywords":"Abstract family of languages; Intersection (aeronautics); Closure (psychology); Complement (music); Theory of computation; Language family; Cone (formal languages); Computer science; Second-generation programming language; Regular language; Mathematics; Linguistics; Programming language; Artificial intelligence; Fifth-generation programming language; Philosophy","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.007591623,0.0009325214,0.002575401,0.003409391,0.005215161,0.009536231,0.002313422,0.00239034,0.007289309],"category_scores_gemma":[0.02057724,0.001517808,0.00362409,0.002564183,0.008687785,0.02119669,0.006988199,0.00549254,0.0008850115],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002436523,"about_ca_system_score_gemma":0.002166436,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001360908,"about_ca_topic_score_gemma":0.0005980646,"domain_scores_codex":[0.9918507,0.002109459,0.0007973684,0.001950201,0.001934222,0.001357957],"domain_scores_gemma":[0.9740024,0.01614425,0.002527128,0.001810266,0.00305478,0.002461239],"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.00059404,0.0001306428,0.001204426,0.00008907146,0.00004281475,0.0005798774,0.00262038,0.001020072,0.002696719,0.9819658,0.0008237438,0.008232372],"study_design_scores_gemma":[0.00008306294,0.0001444904,0.0006374092,0.00005770152,0.00005219718,0.0006921829,0.0008371572,0.006508056,0.002433153,0.9853477,0.003155895,0.00005089495],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6447857,0.001757566,0.2765168,0.003477121,0.000583783,0.0002087647,0.0009764085,0.001240807,0.07045307],"genre_scores_gemma":[0.9361898,0.0009935832,0.04556175,0.000700113,0.0007833411,0.0003087015,0.001427654,0.0006802087,0.01335488],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009536231,"threshold_uncertainty_score":0.04014879,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005861879333243367,"score_gpt":0.225533461348524,"score_spread":0.2196715820152806,"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."}}