{"id":"W2072220447","doi":"10.1016/j.tcs.2014.07.015","title":"On the maximality of languages with combined types of code properties","year":2014,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"Saint Mary's University; St. Mary's University; Western University","funders":"","keywords":"Decidability; Property (philosophy); Mathematics; Formal language; Regular language; Suffix; Code (set theory); Type (biology); Discrete mathematics; Computer science; Algorithm; Theoretical computer science; Automaton; Programming language; 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.006215042,0.0009511594,0.002259878,0.002670297,0.004302075,0.007032003,0.00303165,0.003213119,0.006146082],"category_scores_gemma":[0.02924686,0.00254877,0.003413772,0.001866881,0.01066814,0.01779221,0.007526262,0.005961968,0.0007647619],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002031875,"about_ca_system_score_gemma":0.001903643,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009854748,"about_ca_topic_score_gemma":0.001031913,"domain_scores_codex":[0.992993,0.002489571,0.000547958,0.001651252,0.001196238,0.001122006],"domain_scores_gemma":[0.9205425,0.0660642,0.003518493,0.004357915,0.002735773,0.002781122],"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.0002150943,0.00004702643,0.0009925746,0.0001007857,0.00003101,0.0001765459,0.0007630956,0.002275194,0.001863292,0.9897316,0.000608802,0.003194875],"study_design_scores_gemma":[0.00004291996,0.00003593793,0.0002845449,0.00004236446,0.00003920243,0.0002426242,0.0001882013,0.008935725,0.001215612,0.9878962,0.001042986,0.00003370359],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5975305,0.001792217,0.3293184,0.004842245,0.0002840828,0.000134939,0.0009751217,0.0009749683,0.06414749],"genre_scores_gemma":[0.963937,0.0003817097,0.0288422,0.0005956291,0.0004050515,0.0001579963,0.0004761653,0.0003411517,0.004863088],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007032003,"threshold_uncertainty_score":0.03286862,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009412736562524896,"score_gpt":0.2152881833652664,"score_spread":0.2058754468027415,"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."}}