{"id":"W2174018860","doi":"10.1016/j.tcs.2015.04.017","title":"State complexity of inversion operations","year":2015,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada; National Research Foundation of Korea; Yonsei University","keywords":"Substring; Inversion (geology); Nondeterministic algorithm; Prefix; Upper and lower bounds; Computational complexity theory; Mathematics; Combinatorics; Algorithm; Computer science; Discrete mathematics; Data structure","routes":{"ca_aff":true,"ca_fund":true,"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":["sts"],"consensus_categories":[],"category_scores_codex":[0.001603029,0.0001136403,0.0001713253,0.0001454225,0.0001873919,0.000195686,0.002171844,0.00002391667,0.00001784241],"category_scores_gemma":[0.00008726341,0.00009010854,0.00004123278,0.000963769,0.004128497,0.0008111217,0.001259197,0.000101606,0.00006662938],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004679073,"about_ca_system_score_gemma":0.0002111395,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001625374,"about_ca_topic_score_gemma":0.00000134458,"domain_scores_codex":[0.9982542,0.0001147039,0.0002440591,0.0004101117,0.0006491757,0.0003276863],"domain_scores_gemma":[0.9985047,0.00008249415,0.00004408532,0.000743706,0.0003054038,0.0003195861],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003896024,0.00004795654,0.00002942506,0.000002741363,0.000001593692,0.000003154987,0.0007685728,0.0007977087,0.0008247758,0.9873422,0.00009301115,0.01008491],"study_design_scores_gemma":[0.0001509453,0.0001213867,0.0002296117,0.000009976403,0.000001086396,0.000009187534,0.000009845935,0.6185604,0.009547578,0.3712355,0.0000369784,0.00008744065],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1606025,0.00001340479,0.8361735,0.0007400115,0.0004276642,0.00008146634,0.000002207332,0.0001274296,0.001831842],"genre_scores_gemma":[0.78414,0.000001069093,0.2154774,0.000342298,0.00002722029,0.00000128639,6.340413e-7,0.000002968198,0.000007163886],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6235375,"threshold_uncertainty_score":0.9985817,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04010833710941971,"score_gpt":0.2705048822927333,"score_spread":0.2303965451833136,"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."}}