{"id":"W2127955734","doi":"10.1016/j.jcss.2004.08.005","title":"Language equations, maximality and error-detection","year":2004,"lang":"en","type":"article","venue":"Journal of Computer and System Sciences","topic":"DNA and Biological Computing","field":"Biochemistry, Genetics and Molecular Biology","cited_by":17,"is_retracted":false,"has_abstract":false,"ca_institutions":"Saint Mary's University; Western University","funders":"","keywords":"Nondeterministic algorithm; Prefix; Closure (psychology); Type (biology); Mathematics; Hierarchy; Regular language; Discrete mathematics; Code (set theory); Characterization (materials science); Computer science; Theoretical computer science; Linguistics; Programming language; Automaton; Set (abstract data type)","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.007395327,0.0009472286,0.001867242,0.002284125,0.002199658,0.004268125,0.003296985,0.002431529,0.004912281],"category_scores_gemma":[0.05916139,0.001437935,0.002804251,0.002344659,0.009518191,0.01613199,0.005776742,0.006213526,0.0006421357],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002470695,"about_ca_system_score_gemma":0.002470058,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003911044,"about_ca_topic_score_gemma":0.002781655,"domain_scores_codex":[0.9920956,0.002879565,0.0007051268,0.001724553,0.001596107,0.000999021],"domain_scores_gemma":[0.9119669,0.07602047,0.002556307,0.004606292,0.003953856,0.0008961987],"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.0001064979,0.00003511146,0.001028583,0.0001000068,0.00004315095,0.0001236422,0.0005849018,0.009870916,0.0006035586,0.9703856,0.00182558,0.01529231],"study_design_scores_gemma":[0.00001348851,0.000007317864,0.00007501443,0.000009409775,0.00001370069,0.00004104059,0.0000223974,0.01869971,0.0004656507,0.9802108,0.0004260028,0.00001541102],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09321692,0.00128554,0.8833188,0.006368528,0.0001998834,0.0000633001,0.000384315,0.0007379084,0.01442481],"genre_scores_gemma":[0.8553218,0.0008129652,0.1330128,0.001000338,0.0005007678,0.0001412682,0.0004407364,0.0003396754,0.008429603],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007395327,"threshold_uncertainty_score":0.03911072,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02067959931173234,"score_gpt":0.2753569463597711,"score_spread":0.2546773470480387,"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."}}