{"id":"W2146148441","doi":"10.1142/s0129054112400059","title":"FORMAL DESCRIPTIONS OF CODE PROPERTIES: DECIDABILITY, COMPLEXITY, IMPLEMENTATION","year":2012,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":true,"ca_institutions":"Saint Mary's University","funders":"","keywords":"Decidability; Property (philosophy); Formal language; Computer science; Regular language; Programming language; Code (set theory); Coding (social sciences); Mathematics; Theoretical computer science; Automaton","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.001956957,0.00009873394,0.0001881715,0.0005703705,0.000143438,0.0001878215,0.002619844,0.00002162611,0.00004316606],"category_scores_gemma":[0.00009064209,0.00008314833,0.0001229651,0.0005552733,0.0005969572,0.005780163,0.0006219483,0.0000938359,0.000004735388],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001416856,"about_ca_system_score_gemma":0.0004286028,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003033673,"about_ca_topic_score_gemma":0.000009405591,"domain_scores_codex":[0.9975712,0.00006245793,0.0008518749,0.0001400093,0.001126385,0.0002480244],"domain_scores_gemma":[0.9966839,0.0001095731,0.0008162936,0.000312412,0.001960853,0.0001169788],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.0000389735,0.0009947184,0.0207002,0.0000295476,0.0001519808,0.000002354981,0.006048269,0.001487586,0.04092425,0.6643286,0.0003648681,0.2649286],"study_design_scores_gemma":[0.003354927,0.001443538,0.4737116,0.0005137288,0.00007943999,0.001210502,0.001095264,0.2246967,0.1893483,0.0999705,0.003815852,0.0007596727],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3507104,0.00004031911,0.6470787,0.0004983698,0.001468452,0.0000730738,0.00000760164,0.00001130979,0.0001117999],"genre_scores_gemma":[0.8045805,0.000006638305,0.1951672,0.00008032284,0.0001553725,0.000001948995,0.000001768684,0.000002946378,0.000003338119],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5643581,"threshold_uncertainty_score":0.4868366,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07281263454795484,"score_gpt":0.3521866772893369,"score_spread":0.2793740427413821,"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."}}