{"id":"W1558454742","doi":"10.1109/tools.1998.711002","title":"Practical rules for reduction on the number of states of a state diagram","year":2002,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Rotation formalisms in three dimensions; Computer science; State (computer science); Object (grammar); Theoretical computer science; Set (abstract data type); Reduction (mathematics); State diagram; Focus (optics); Finite set; Algorithm; Programming language; Artificial intelligence; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008612201,0.001484558,0.00145505,0.002737801,0.002944093,0.004524281,0.003713313,0.002715031,0.00982922],"category_scores_gemma":[0.02823365,0.001445326,0.004116105,0.002032806,0.007475739,0.006811537,0.00528489,0.008573821,0.004784436],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001911523,"about_ca_system_score_gemma":0.002333658,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001831495,"about_ca_topic_score_gemma":0.002927763,"domain_scores_codex":[0.9895086,0.003232055,0.001699436,0.001835157,0.003079692,0.0006450621],"domain_scores_gemma":[0.9788213,0.0127625,0.0006015669,0.00454807,0.002869294,0.0003973374],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00008031876,0.0001051984,0.0003778753,0.0002563207,0.00003583004,0.0002135651,0.0005331511,0.005652449,0.003146654,0.9209296,0.006295166,0.06237411],"study_design_scores_gemma":[0.00006997599,0.0000304667,0.0001196014,0.0001219952,0.00004945379,0.0002243147,0.0001371358,0.01449683,0.004589902,0.950568,0.02955152,0.00004086135],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00336889,0.000202616,0.9773923,0.0008806962,0.0002616869,0.000402143,0.0001909952,0.001016837,0.01628392],"genre_scores_gemma":[0.04794965,0.0003221161,0.9455669,0.0004558423,0.0001619751,0.001072102,0.0004288969,0.0004697393,0.003572786],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00982922,"threshold_uncertainty_score":0.04554623,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05653655167707757,"score_gpt":0.3076146455811247,"score_spread":0.2510780939040471,"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."}}