Câu hỏi được gắn thẻ «formal-grammars»

Gần đây tôi đã thảo luận với một người bạn về một trang web đề xuất các thách thức regex, chủ yếu khớp một nhóm từ với một thuộc tính đặc biệt. Anh ta đang tìm kiếm một regex khớp với các chuỗi như ||||||||số lượng số |nguyên tố. Tôi …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Ngữ pháp này được để lại đệ quy: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Vì vậy, trên lý thuyết, dòng dõi …

8 reference-request  formal-grammars  recursion  parsers  left-recursion 

Câu hỏi: Có bất kỳ văn bản giới thiệu nào trong ngôn ngữ chính thức hoặc lý thuyết ngôn ngữ lập trình thảo luận về cách áp dụng nó vào nghiên cứu ký hiệu tối ưu không? Cụ thể, tôi muốn tìm hiểu ngôn ngữ ngăn xếp, cây phân tích …

8 formal-languages  reference-request  formal-grammars  programming-languages 

Tôi đã đọc bài báo Khái niệm cơ bản về ngôn ngữ lập trình của C. Strachey vào một ngày khác, trong đó tôi đọc một thứ khá lạ đối với tôi. Trích dẫn trực tiếp (với phần lạ được tôi nhấn mạnh): Đối mặt với tình hình như nó …

8 formal-grammars  programming-languages  syntax 

L:={w∈{0,1}∗|L:={w∈{0,1}∗|L := \{w \in \{0,1\}^* | độ dài của là số lẻ 1 ở giữawww∧∧ \wedge w}w}w\} Vì vậy, bảng chữ cái là . Vấn đề của tôi là tôi không thể theo dõi sự bình đẳng của ký tự trước và sau . Một DFA giới hạn cho độ …

8 formal-languages  finite-automata  formal-grammars 

nếu tôi có một ngữ pháp có một sản phẩm chứa cả đệ quy trái và bao thanh toán như F→ FB một | c D S| cF→FBmột|cDS|c\qquad \displaystyle F \to FBa \mid cDS \mid c cái nào được ưu tiên, đệ quy trái hay bao thanh toán?

8 formal-languages  formal-grammars  parsers  left-recursion 

Các ngữ pháp biểu thức phân tích cú pháp (PEG) không rõ ràng và có cú pháp tương tự bề ngoài với BNF , nhưng bao gồm ba điểm khác biệt quan trọng: Các toán tử lựa chọn ra lệnh e1 / e2 / e3. Các vị ngữ và vị …

7 context-free  formal-grammars  normal-forms 

Có ví dụ nào về ngôn ngữ máy tính trong thế giới thực không mang tính quyết định không? Theo ngôn ngữ máy tính, tôi bao gồm ngôn ngữ lập trình, ngôn ngữ đánh dấu, ngôn ngữ truy vấn, ngôn ngữ mô hình hóa, ngôn ngữ chuyển đổi, v.v. Bởi …

7 formal-grammars  programming-languages  nondeterminism 

Có người hỏi ví dụ về ngôn ngữ không ngữ cảnh với phần bổ sung không ngữ cảnh . Câu trả lời đầu tiên nói: Ngôn ngữ L1= { w w ∣ w ∈ { a , b}*}L1={ww∣w∈{a,b}∗}L_1= \{ww \mid w \in \{a,b\}^*\}không có ngữ cảnh (như có thể được …

7 formal-languages  context-free  formal-grammars 

Trong một khóa học về khoa học máy tính, người ta thường nghiên cứu hệ thống phân cấp của các ngôn ngữ chính thức, ngữ pháp, máy tự động và máy Turing. Tôi tự hỏi mối quan hệ của các đối tượng này với các hệ thống chính thức là …

7 formal-languages  formal-grammars 

Tôi đang cố gắng giải quyết bài kiểm tra sắp tới của mình và không biết làm thế nào để tạo ngữ pháp cho các ngôn ngữ nhạy cảm ngữ cảnh, ví dụ như làm thế nào để tôi tiến hành loại câu hỏi này. Đưa ra một ngữ pháp …

7 formal-languages  formal-grammars  context-sensitive 

Vấn đề (tl; dr) Đưa ra một ngữ pháp không có ngữ cảnh, , hãy tìm một tập hợp các chuỗi đưa qua mọi sản phẩm mà nó có ít nhất một lần.GGGGGG Làm thế nào và nhanh như thế nào nó có thể được thực hiện? Lý lịch Tôi …

7 complexity-theory  context-free  formal-grammars 

Tôi không biết nhiều về yacc, bison, flex hoặc lex và vui lòng sửa cho tôi nếu tôi sai nhưng ngôn ngữ lập trình cũng là máy Turing và máy Turing được định nghĩa là tuple trong đó , , , làm đầu vào, là hàm chuyển đổi trong đó …

7 turing-machines  formal-grammars  programming-languages  computation-models 

Có ai có thể giúp cho việc này không: L={aibj∣i,j≥0 and i≠2j}L={aibj∣i,j≥0 and i≠2j}L=\{a^ib^j \mid i,j \ge 0 \text{ and } i \ne 2j\} Tôi đang cố gắng viết một ngữ pháp cho ngôn ngữ này? Tôi không biết làm thế nào để làm điều này. Tôi đã thử điều …

7 formal-languages  context-free  formal-grammars 

Bất cứ ai cũng biết nếu có một thuật toán để viết trực tiếp ngữ pháp không ngữ cảnh tạo ra một biểu thức chính quy cho trước?

7 formal-grammars  regular-expressions  context-free