{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001639126,0.0005346039,0.0005280678,0.001541218,0.0009334334,0.002750405,0.001342527,0.0009363394,0.004945083],"category_scores_gemma":[0.005202175,0.0005261362,0.001179056,0.001138404,0.003046905,0.005430779,0.002297304,0.001653812,0.001095746],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009713055,"about_ca_system_score_gemma":0.0008548753,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008307145,"about_ca_topic_score_gemma":0.0008402363,"domain_scores_codex":[0.9975107,0.0006433773,0.0002763186,0.0006611303,0.0006153891,0.0002931287],"domain_scores_gemma":[0.9970508,0.001221447,0.0003852566,0.0006670252,0.0005183071,0.000157198],"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.00001766839,0.00002605478,0.0001846085,0.0000388865,0.00000681723,0.0001248608,0.0004386453,0.005015981,0.002465414,0.9757568,0.0002685326,0.01565588],"study_design_scores_gemma":[0.00001500862,0.00004215812,0.00008885521,0.00002680774,0.00001523698,0.0001293203,0.00009902197,0.03542835,0.004447632,0.9501135,0.009574438,0.00001963971],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04705428,0.000277846,0.9411597,0.0001571626,0.00007209351,0.00008107578,0.0001459219,0.000724418,0.0103275],"genre_scores_gemma":[0.5562623,0.0004173118,0.4326839,0.0001369288,0.0001587457,0.0003322558,0.0004792797,0.0004624122,0.009066979],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004945083,"threshold_uncertainty_score":0.01654291,"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."}}