{"id":"W2030143386","doi":"10.1142/s0129054107005133","title":"REPRESENTATION OF SEMIAUTOMATA BY CANONICAL WORDS AND EQUIVALENCES, PART II: SPECIFICATION OF SOFTWARE MODULES","year":2007,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University; University of Waterloo","funders":"","keywords":"Assertion; TRACE (psycholinguistics); Automaton; Computer science; Representation (politics); Canonical form; Programming language; Theoretical computer science; Finite-state machine; Software; Formal specification; Automata theory; Focus (optics); Expressive power; Algebra over a field; Mathematics; 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":[],"consensus_categories":[],"category_scores_codex":[0.002072471,0.00008568522,0.0002146772,0.0004782416,0.00008954963,0.0001075105,0.001624843,0.00003988923,0.000006336172],"category_scores_gemma":[0.000218028,0.00007517319,0.00007508199,0.0007052914,0.0005525577,0.001230991,0.000332429,0.00009025245,6.395425e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006990093,"about_ca_system_score_gemma":0.000263701,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005717973,"about_ca_topic_score_gemma":0.00001212399,"domain_scores_codex":[0.9974313,0.00003801537,0.000961886,0.0002182886,0.001200973,0.0001495547],"domain_scores_gemma":[0.9964084,0.0002757543,0.00125099,0.0002894775,0.001687882,0.00008750713],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00006220528,0.0005850759,0.03350936,0.00005447465,0.0001396871,0.00001113732,0.00331647,0.0009840543,0.01943407,0.3947081,0.0007473776,0.5464479],"study_design_scores_gemma":[0.004633532,0.003396603,0.295164,0.0008048812,0.000114342,0.00132912,0.0009549956,0.1039971,0.4492914,0.1223981,0.01672086,0.00119498],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1777596,0.000146665,0.8204787,0.0002239875,0.001152509,0.00006778045,0.000002708779,0.00001042302,0.0001576221],"genre_scores_gemma":[0.8816725,0.00004468689,0.118102,0.00001519007,0.0001371331,5.46859e-7,0.00000320102,0.000002522421,0.00002220336],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7039129,"threshold_uncertainty_score":0.3065474,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03604204822379109,"score_gpt":0.3274862886789105,"score_spread":0.2914442404551194,"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."}}