{"id":"W2396714452","doi":"10.1142/s0129054105003327","title":"REPRESENTATION OF SEMIAUTOMATA BY CANONICAL WORDS AND EQUIVALENCES","year":2005,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"Software Engineering Research","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University; University of Waterloo","funders":"","keywords":"Prefix; Rewriting; Mathematics; Canonical form; Equivalence (formal languages); State (computer science); Word (group theory); Set (abstract data type); Discrete mathematics; Computer science; Algorithm; Pure mathematics; Programming language","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.000887818,0.00006669697,0.0001485571,0.000504886,0.00004822073,0.0001880043,0.00222323,0.00002170196,0.0000101574],"category_scores_gemma":[0.0005277018,0.0000609037,0.00005055251,0.0006979291,0.0003977706,0.001945757,0.000435718,0.0001089635,0.000001540406],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008572928,"about_ca_system_score_gemma":0.0004192417,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001801258,"about_ca_topic_score_gemma":0.000001911022,"domain_scores_codex":[0.9978691,0.00003181773,0.0005058139,0.000176839,0.001287183,0.0001292868],"domain_scores_gemma":[0.997576,0.0005946598,0.0003632238,0.0002403122,0.001136492,0.00008934019],"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.00004117004,0.0005221475,0.05850488,0.00003773151,0.0002066171,0.00001728167,0.003524054,0.02781047,0.05807854,0.04878475,0.002684166,0.7997882],"study_design_scores_gemma":[0.001867099,0.0007589043,0.1506862,0.0005048872,0.00002176392,0.000768238,0.00007663499,0.6725761,0.1635192,0.005419069,0.003373174,0.0004287176],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3687125,0.000108582,0.6290815,0.001512416,0.0004955128,0.00003147042,0.000002255582,0.00001148356,0.00004431781],"genre_scores_gemma":[0.8168624,0.0000461699,0.1829482,0.00002374233,0.0001029587,6.561293e-7,5.764187e-7,0.000002101372,0.00001318871],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7993595,"threshold_uncertainty_score":0.4131351,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02238737463466717,"score_gpt":0.3522391377327809,"score_spread":0.3298517630981137,"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."}}