{"id":"W2162199371","doi":"10.1007/3-540-44685-0_17","title":"An Algebraic Characterization of Data and Timed Languages","year":2001,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Decidability; Computer science; Automaton; Closure (psychology); Abstract family of languages; Regular language; Programming language; Characterization (materials science); Class (philosophy); Algebraic number; Theoretical computer science; Algebra over a field; Second-generation programming language; Artificial intelligence; Mathematics; Fifth-generation programming language; Pure mathematics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0007293061,0.0002773451,0.0003517576,0.0004303668,0.00008995497,0.0002752881,0.00379992,0.0001692388,0.00002336869],"category_scores_gemma":[0.00002974154,0.0002464382,0.00002637612,0.0003300393,0.0004434532,0.001373132,0.001520367,0.0002534554,0.000006537035],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000326291,"about_ca_system_score_gemma":0.0001486931,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001277617,"about_ca_topic_score_gemma":0.00001360068,"domain_scores_codex":[0.9977427,0.00003352608,0.0003300266,0.001133139,0.0004661985,0.0002943703],"domain_scores_gemma":[0.9972962,0.0001725235,0.0002492816,0.002094716,0.00008311002,0.0001041396],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002439983,0.00002174548,0.00006389787,0.00002667752,0.000005707462,0.00003356398,0.0004966757,0.00008530103,0.007786338,0.01402182,0.000002790282,0.9774531],"study_design_scores_gemma":[0.0002388398,0.0001843781,0.001504881,0.0003399248,0.00001105957,0.0001176791,4.207224e-7,0.9220063,0.004046303,0.06994329,0.001022675,0.0005842292],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003792419,0.0002694497,0.9944127,0.0002213132,0.0002857697,0.0001720161,0.00002973121,0.0001076805,0.00070898],"genre_scores_gemma":[0.6808697,0.0002721772,0.3160506,0.001633748,0.0006144068,0.000003896117,0.0002398718,0.00005344801,0.0002620836],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9768688,"threshold_uncertainty_score":0.9999988,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01615838995038792,"score_gpt":0.2599235246412766,"score_spread":0.2437651346908887,"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."}}