{"id":"W2797999682","doi":"10.1142/s0129054118400099","title":"State Complexity of Neighbourhoods and Approximate Pattern Matching","year":2018,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Substring; Neighbourhood (mathematics); Mathematics; Combinatorics; Upper and lower bounds; Deterministic finite automaton; State (computer science); Nondeterministic algorithm; String (physics); Discrete mathematics; Finite-state machine; Set (abstract data type); Computer science; Algorithm","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.001917144,0.0005684653,0.001460336,0.00120082,0.001457182,0.004133811,0.002991974,0.001705007,0.00762016],"category_scores_gemma":[0.02056476,0.0007563547,0.002130002,0.001606412,0.002740922,0.009043702,0.003965248,0.002327452,0.000733447],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002860171,"about_ca_system_score_gemma":0.001771525,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002838161,"about_ca_topic_score_gemma":0.002339284,"domain_scores_codex":[0.99467,0.0009228052,0.0005787608,0.001369332,0.00166595,0.0007931118],"domain_scores_gemma":[0.973621,0.01765152,0.001612884,0.004838597,0.001454931,0.00082109],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.002368774,0.0004181486,0.01271468,0.0007091372,0.00022287,0.000504184,0.001421368,0.4618255,0.03019836,0.4137599,0.003425781,0.07243114],"study_design_scores_gemma":[0.0000493299,0.0001258676,0.001402181,0.00002177921,0.00007960444,0.0001585812,0.0001018297,0.5861783,0.01024069,0.4005792,0.00100699,0.00005557578],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7047003,0.0003768693,0.281956,0.001326185,0.00004612862,0.000128024,0.001342022,0.001479016,0.008645447],"genre_scores_gemma":[0.9642821,0.0001319783,0.03045403,0.00009783189,0.0000396304,0.0001681453,0.001109823,0.0002054972,0.003510952],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.00762016,"threshold_uncertainty_score":0.02549195,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02618759919969559,"score_gpt":0.303750500253681,"score_spread":0.2775629010539854,"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."}}