{"id":"W1992893569","doi":"10.1080/00207160.2012.681305","title":"Composition and orbits of language operations: finiteness and upper bounds","year":2012,"lang":"en","type":"article","venue":"International Journal of Computer Mathematics","topic":"semigroups and automata theory","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Manitoba; University of Waterloo","funders":"","keywords":"Closure (psychology); Mathematics; Complement (music); Suffix; Prefix; Equivalence (formal languages); Regular language; Natural number; Bounded function; Discrete mathematics; Set (abstract data type); Monoid; Equivalence relation; Combinatorics; Computer science; Linguistics; 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.0003640124,0.00007439618,0.0001541784,0.0001420967,0.00002808427,0.0001356025,0.0003437515,0.0000276399,0.00000721897],"category_scores_gemma":[0.00001735846,0.00005905944,0.00003768267,0.00005309691,0.00004046059,0.0007183312,0.0001714606,0.00006852906,0.000001698988],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001385518,"about_ca_system_score_gemma":0.00001783934,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001816452,"about_ca_topic_score_gemma":1.885328e-7,"domain_scores_codex":[0.999214,0.00003188475,0.0003450048,0.00005747976,0.0002702536,0.00008138399],"domain_scores_gemma":[0.9992705,0.0001660384,0.0001897022,0.0001000838,0.0002154226,0.00005825454],"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.0000247839,0.001022232,0.00372371,0.0001803784,0.0004348883,0.00005391492,0.03854279,0.0005492991,0.01346781,0.8145592,0.0004386663,0.1270023],"study_design_scores_gemma":[0.003415492,0.0005074892,0.03550458,0.001750853,0.0001162,0.009680589,0.001230377,0.8735586,0.01965506,0.05251075,0.001316112,0.0007539392],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.51005,0.0003864779,0.4888718,0.0002400832,0.0003511762,0.0000233191,0.000002101036,0.000007242808,0.00006784766],"genre_scores_gemma":[0.7586887,0.00006167623,0.240886,0.0001537907,0.0001960254,4.933526e-7,9.425427e-7,0.000003910923,0.000008394399],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8730093,"threshold_uncertainty_score":0.2408374,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0109472149380337,"score_gpt":0.2687221071613251,"score_spread":0.2577748922232914,"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."}}