{"id":"W2090150751","doi":"10.1007/s00500-005-0022-x","title":"The equivalence between fuzzy Mealy and fuzzy Moore machines","year":2005,"lang":"en","type":"article","venue":"Soft Computing","topic":"Fuzzy Logic and Control Systems","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Fuzzy logic; Monoid; Lattice (music); Equivalence (formal languages); Computer science; Mathematics; Algebra over a field; Algorithm; Theoretical computer science; Artificial intelligence; Discrete mathematics; Pure mathematics; Physics","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.001255657,0.0003110426,0.0008873567,0.0009664121,0.001552621,0.003156067,0.0009989296,0.00172377,0.007757181],"category_scores_gemma":[0.007070711,0.0004045254,0.0008958961,0.0009657702,0.006041168,0.007355015,0.002356791,0.003097376,0.0007646388],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009751302,"about_ca_system_score_gemma":0.0005696401,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001367586,"about_ca_topic_score_gemma":0.0007367778,"domain_scores_codex":[0.9987224,0.0003226704,0.00008776167,0.0004020178,0.0003349775,0.0001301703],"domain_scores_gemma":[0.9978153,0.001220954,0.0001660812,0.0003566314,0.0003216465,0.0001194303],"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.00002012239,0.000005473932,0.00004814698,0.0000157498,0.000004808119,0.00002248871,0.000109654,0.000781892,0.0001938113,0.9929416,0.0004953966,0.005360887],"study_design_scores_gemma":[0.000005131898,0.000008866869,0.00008700119,0.00000515867,0.000002282536,0.00002727432,0.00002120946,0.003758304,0.0001443425,0.994165,0.001769666,0.000005780368],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1086401,0.003407317,0.7612785,0.004639627,0.001014295,0.00007845546,0.000533335,0.0003678733,0.1200405],"genre_scores_gemma":[0.8710409,0.001252416,0.1060257,0.001039241,0.0009395324,0.0001569312,0.0003006066,0.0001321419,0.01911257],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007757181,"threshold_uncertainty_score":0.02595037,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01615646491679636,"score_gpt":0.2471840537327711,"score_spread":0.2310275888159747,"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."}}