{"id":"W2964048382","doi":"10.1142/s0129054112400655","title":"THE CRITICAL EXPONENT IS COMPUTABLE FOR AUTOMATIC SEQUENCES","year":2012,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Tulane University","keywords":"Exponent; Infimum and supremum; Mathematics; Critical exponent; Rational number; Computation; Constant (computer programming); Discrete mathematics; Sequence (biology); Diophantine equation; Diophantine approximation; Combinatorics; Computer science; Algorithm","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.0006190196,0.0005742991,0.000556795,0.001861738,0.0007914229,0.002712048,0.000488253,0.0004328829,0.002903847],"category_scores_gemma":[0.01121515,0.000346533,0.0003937116,0.001325948,0.002297212,0.005363385,0.00143142,0.001576693,0.0005326049],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001499775,"about_ca_system_score_gemma":0.0007774134,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009254964,"about_ca_topic_score_gemma":0.0008818599,"domain_scores_codex":[0.9993485,0.00009026827,0.00005947563,0.000195201,0.0001938544,0.0001127772],"domain_scores_gemma":[0.9943227,0.003822151,0.000395316,0.0006565859,0.0005994719,0.0002039077],"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.0003773021,0.00005618936,0.008525268,0.000310175,0.00003274644,0.0004912154,0.001207261,0.01106598,0.0156491,0.9051342,0.002658965,0.05449165],"study_design_scores_gemma":[0.00004669807,0.00004180722,0.001592126,0.00009456248,0.00003410371,0.0003065797,0.000164719,0.04897714,0.01498088,0.9282649,0.005446892,0.00004950853],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7795151,0.001273539,0.1828075,0.0007424261,0.0001044292,0.00006562615,0.0003910311,0.0008944694,0.03420598],"genre_scores_gemma":[0.9799424,0.0003229912,0.01714893,0.00006540061,0.00008539565,0.00003842775,0.0002156388,0.00011982,0.002061064],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.002903847,"threshold_uncertainty_score":0.01088166,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02862647734812847,"score_gpt":0.3462912195548554,"score_spread":0.317664742206727,"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."}}