Keywords: زبانهای متنباز; Regular languages; Context-free languages; Input-driven languages; Visibly pushdown languages; Operator-precedence languages; Monadic second order logic; Closure properties; Decidability and automatic verification;
مقالات ISI زبانهای متنباز (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: زبانهای متنباز; Regular languages; Context-free languages; Boundary sets; Computational complexity; Decidability; Valid computations
Keywords: زبانهای متنباز; Abstraction refinement; Context-free languages; Regular approximation; Separability
Keywords: زبانهای متنباز; Context-free languages; Formal grammars; Bisimulation; Automatic sequence; Automata theory; Universal coalgebra
Balancedness of MSO transductions in polynomial time
Keywords: زبانهای متنباز; Balanced parentheses; Dyck languages; Context-free languages; MSO definable transductions; Formal languages;
Decision problems for word-hyperbolic semigroups
Keywords: زبانهای متنباز; 20M35; 68Q45; 20F67Word-hyperbolic semigroups; Decision problems; Undecidability; Isomorphism problem; Context-free languages
Regular and context-free pattern languages over small alphabets
Keywords: زبانهای متنباز; Pattern languages; Regular languages; Context-free languages
A mechanisation of some context-free language theory in HOL4
Keywords: زبانهای متنباز; Context-free languages; Context-free grammars; Pushdown automata; Closure properties; HOL4
A generic, formal language-based methodology for hierarchical floorplanning-placement
Keywords: زبانهای متنباز; Design synthesis tools; Context-free languages; Floorplanning; Scan language; Geometria language
Finite turns and the regular closure of linear context-free languages
Keywords: زبانهای متنباز; Finite turn pushdown automata; Computational capacity; Time-efficient recognizers; Closures of languages; Context-free languages
Context-free languages can be accepted with absolutely no space overhead
Keywords: زبانهای متنباز; 03D15; 68Q05; 68Q15; 68Q42; 68Q45; Context-free languages; Deterministic context-free languages; Editing Turing machines; In-place algorithms; Linear space; Overhead-free computation; Restarting automata; RRW-automata; Space overhead; Space reuse; Two-sta
Algebraically complete semirings and Greibach normal form
Keywords: زبانهای متنباز; Greibach normal form; Context-free languages; Pre-fixed-point induction; Equational theory; Conway semiring; Kleene algebra; Algebraically complete semiring;