{"id":"W2018390675","doi":"10.1016/j.tcs.2006.01.040","title":"Representation of a class of nondeterministic semiautomata by canonical words","year":2006,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Prefix; Nondeterministic algorithm; Word (group theory); Rewriting; Mathematics; Class (philosophy); Canonical form; TRACE (psycholinguistics); Set (abstract data type); Discrete mathematics; State (computer science); Existential quantification; Computer science; Algorithm; Programming language; Linguistics; Pure mathematics; Artificial intelligence","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.0006330772,0.0004371288,0.0006933754,0.001076359,0.001733455,0.004386473,0.001060729,0.001211743,0.007033433],"category_scores_gemma":[0.002230856,0.0004737127,0.001112679,0.001026456,0.002337755,0.003904523,0.001309128,0.001901975,0.001093954],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001026069,"about_ca_system_score_gemma":0.001005304,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0012468,"about_ca_topic_score_gemma":0.0009956297,"domain_scores_codex":[0.9991904,0.000143431,0.00005670629,0.0002432954,0.0001748173,0.0001912996],"domain_scores_gemma":[0.9985404,0.0006186906,0.0001350811,0.0003111101,0.0002660824,0.0001286421],"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.00001939629,0.00001304462,0.000183256,0.00001506321,0.000003493326,0.00005565562,0.0001812253,0.0009459284,0.0006471146,0.9928645,0.0004934749,0.004577816],"study_design_scores_gemma":[0.0000139735,0.00001278161,0.0001134522,0.00001276032,0.00000842724,0.0001152706,0.000100038,0.01424163,0.001152282,0.9792142,0.005002094,0.00001319091],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3263516,0.0007578639,0.6141173,0.001173055,0.0003081419,0.0001205996,0.0008502263,0.001687556,0.05463363],"genre_scores_gemma":[0.9344701,0.0003225777,0.05093112,0.0001426512,0.0001235066,0.0001294222,0.000613981,0.0003253816,0.01294124],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007033433,"threshold_uncertainty_score":0.02352917,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01224512859876187,"score_gpt":0.2697778640971544,"score_spread":0.2575327354983926,"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."}}