{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005349563,0.00004408643,0.00008194093,0.00002804411,0.0001075036,0.00005206809,0.00007023502,0.00003208646,2.681988e-7],"category_scores_gemma":[0.00001215105,0.00002742637,0.00002679503,0.00004794579,0.00007507271,0.000006694221,0.00004364542,0.00003439903,2.467869e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005113671,"about_ca_system_score_gemma":0.00001918354,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008067484,"about_ca_topic_score_gemma":0.000004360679,"domain_scores_codex":[0.999561,0.00004124167,0.0001535823,0.00009248486,0.00008352035,0.00006818451],"domain_scores_gemma":[0.9997738,0.00001284188,0.0001038912,0.00003196101,0.00003806602,0.00003943245],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"observational","study_design_scores_codex":[0.0001354371,0.0001392795,0.02275886,0.000278733,0.0001108202,0.00006455329,0.001394723,0.003357224,0.7363351,0.005405595,0.0001082657,0.2299114],"study_design_scores_gemma":[0.01336764,0.03766659,0.475516,0.002453299,0.0002802156,0.01822519,0.02451538,0.06097844,0.347619,0.005376404,0.01104145,0.002960406],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9024916,0.001242104,0.09588226,0.00008924164,0.000151769,0.00002394292,4.211545e-7,0.000002822739,0.000115807],"genre_scores_gemma":[0.9968939,0.00002006514,0.00278689,0.00003931174,0.0002538998,1.59109e-7,2.135071e-7,9.308615e-7,0.000004623553],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4527571,"threshold_uncertainty_score":0.1118415,"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."}}