{"id":"W1512110678","doi":"10.1007/bfb0023887","title":"Kleene automata and recursion theory","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Institut National de la Recherche Scientifique","funders":"","keywords":"Recursion (computer science); Kleene's recursion theorem; Primitive recursive function; Negation; Automaton; Class (philosophy); Finite-state machine; Mathematics; Turing machine; Discrete mathematics; Computer science; Algebra over a field; Algorithm; Theoretical computer science; Pure mathematics; Programming language; Artificial intelligence","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.0005740413,0.0008298165,0.001031471,0.00173082,0.001828096,0.004501748,0.001092698,0.001691559,0.01427136],"category_scores_gemma":[0.001742375,0.0007183392,0.0007954358,0.002939257,0.004224601,0.009984664,0.001331288,0.00368206,0.004557256],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002346327,"about_ca_system_score_gemma":0.001052489,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001545658,"about_ca_topic_score_gemma":0.002054231,"domain_scores_codex":[0.9994346,0.0001399696,0.0000401,0.0001000199,0.0002171498,0.00006801739],"domain_scores_gemma":[0.9993389,0.0004195957,0.00003037203,0.00009215721,0.000092691,0.00002620241],"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.000003305578,0.000005493287,0.00002018101,0.00004072863,0.00000249016,0.00002012719,0.0001841051,0.0002983127,0.0001754448,0.989346,0.002436274,0.007467518],"study_design_scores_gemma":[0.000002368354,0.000002522451,0.00002747979,0.00001768971,0.000002983135,0.00003744072,0.00003486716,0.0003729599,0.000131081,0.9726616,0.02670377,0.000005192835],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.01785852,0.04450935,0.2525003,0.005928116,0.001533443,0.00007716804,0.0005355609,0.0008776388,0.6761799],"genre_scores_gemma":[0.5157922,0.03473626,0.0806253,0.001640231,0.002784308,0.000325569,0.001271081,0.0006451291,0.3621799],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.01427136,"threshold_uncertainty_score":0.04774243,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01020038552399404,"score_gpt":0.2282922485605482,"score_spread":0.2180918630365542,"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."}}