{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002874919,0.00005559802,0.00009812095,0.00001781833,0.00003674006,0.00003100835,0.0001685005,0.00002235706,0.00004976633],"category_scores_gemma":[0.00007311514,0.00003036808,0.00004977279,0.00009294482,0.00005378713,0.0001253073,0.00003102859,0.00003986547,0.00004146923],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000730691,"about_ca_system_score_gemma":0.000009866553,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008161972,"about_ca_topic_score_gemma":0.000003418156,"domain_scores_codex":[0.9993743,0.000052455,0.0001747754,0.0001283767,0.0001501247,0.000119931],"domain_scores_gemma":[0.9993073,0.0002171223,0.0001187729,0.0002407174,0.00009279401,0.00002323896],"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.000007480845,0.0001885531,0.0001754089,0.00002489962,0.00002106175,5.367367e-7,0.0009923896,0.000009210068,0.0001222327,0.9642241,0.006328752,0.02790539],"study_design_scores_gemma":[0.001350857,0.001780969,0.001191908,0.00002728072,0.00004157964,0.0001214677,0.001359555,0.1505844,0.07736755,0.6890843,0.07653654,0.0005535824],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03803898,0.0000303757,0.9462444,0.002954399,0.0003503905,0.0004970866,0.000002364696,0.00007460846,0.01180741],"genre_scores_gemma":[0.9845113,0.000018077,0.01397488,0.00003308322,0.0000271671,0.0000257548,7.626468e-7,0.000003394907,0.001405561],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9464723,"threshold_uncertainty_score":0.1238375,"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."}}