{"id":"W2395596657","doi":"","title":"Operational State Complexity of Nested Word Automata.","year":2008,"lang":"en","type":"article","venue":"DCFS","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Concatenation (mathematics); Nested word; Quantum finite automata; Finite-state machine; Mathematics; Discrete mathematics; Constant (computer programming); Upper and lower bounds; Automaton; Word (group theory); Deterministic finite automaton; Automata theory; Combinatorics; Computer science; Theoretical 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.003250771,0.001537908,0.001641138,0.001985809,0.001847477,0.005802639,0.00412884,0.001729508,0.01388825],"category_scores_gemma":[0.02716089,0.001053546,0.002870446,0.001894641,0.003752393,0.01810086,0.004365987,0.007750353,0.001885307],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004447362,"about_ca_system_score_gemma":0.002611753,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00282334,"about_ca_topic_score_gemma":0.002885431,"domain_scores_codex":[0.9932575,0.0009935761,0.0005512597,0.001450667,0.002559481,0.001187442],"domain_scores_gemma":[0.9582348,0.03216284,0.00164519,0.004554735,0.002223512,0.001178968],"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.0003866084,0.0002983109,0.002660235,0.0004682892,0.00009881904,0.0002161247,0.0009153071,0.07368003,0.01488351,0.8610468,0.00447249,0.04087351],"study_design_scores_gemma":[0.00002241112,0.00006514577,0.000442092,0.00003529108,0.00005588583,0.0001174435,0.0000830662,0.223953,0.006725053,0.765282,0.003183454,0.00003520126],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1479186,0.001534218,0.8118414,0.002493127,0.0002708949,0.0002689204,0.001969988,0.00152322,0.03217952],"genre_scores_gemma":[0.8495799,0.001129427,0.1357702,0.0005268311,0.0003536997,0.0006939357,0.002577473,0.0006734032,0.008695088],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01388825,"threshold_uncertainty_score":0.04646081,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04680536913484907,"score_gpt":0.2496788406865612,"score_spread":0.2028734715517122,"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."}}