Expert in Formal Language Theory and Compiler Design Needed to Implement BNF, EBNF, and ABNF Parsers
Budget: €20 – €50 EUR
**Project Title:** Expert in Formal Language Theory and Compiler Design Needed to Implement BNF, EBNF, and ABNF Parsers
**Project Description:**
I am seeking an experienced freelancer with a strong background in **formal language theory** and **compiler design** to complete the implementation of BNF, EBNF, and ABNF parsers based on an existing generic parser framework. The project also involves creating a **complete and rigorous test suite** for each parser variant.
### **Project Scope**
1. **Current Progress:**
- A **generic parser** has already been developed from the perspective of formal language theory.
- A **complete test suite** has been designed algebraically.
- Basic **BNF, EBNF, and ABNF subclasses** have been created using operators.
2. **Your Tasks:**
- Complete the **implementation** of the BNF, EBNF, and ABNF parsers, ensuring they adhere to their respective formal grammar specifications.
- Develop a **comprehensive test suite** for each parser to validate correctness, robustness, and performance.
- Use **Large Language Models (LLMs)** such as ChatGPT, DeepSeek, Qwen, Claude, Mistral, etc., to assist in code generation, optimization, and edge case identification.
### **Requirements**
- **Proven experience** in **compiler design** and **formal language theory**.
- Strong understanding of **BNF, EBNF, and ABNF grammars** and their implementations.
- Proficiency in **algebraic testing methodologies** and creating rigorous test suites.
- Familiarity with **LLMs** and their application in software development.
- Ability to work independently and deliver high-quality, well-documented code.
### **Preferred Qualifications**
- Experience with **parser generators** (e.g., ANTLR, Yacc, Bison).
- Knowledge of **formal verification** techniques.
- Familiarity with **functional programming** paradigms.
### **Application Instructions**
To be considered for this project, please provide:
1. A brief **introduction** about yourself and your relevant experience.
2. Examples of **past projects** related to formal language theory, compiler design, or parser implementation.
**Note:** Proposals that are generic, promotional, or focused on SEO/spam will be **discarded immediately**. Only serious candidates with proven expertise in the required areas will be considered.
I'll be budgeting for each parser individually—BNF, EBNF, and ABNF. You'll be unit testing with in-memory input text, but demonstrating correctness using real grammars from files of existing programming languages (e.g., *.bnf, *.ebnf, *.abnf files) will be a plus.
---
**Project Description:**
I am seeking an experienced freelancer with a strong background in **formal language theory** and **compiler design** to complete the implementation of BNF, EBNF, and ABNF parsers based on an existing generic parser framework. The project also involves creating a **complete and rigorous test suite** for each parser variant.
### **Project Scope**
1. **Current Progress:**
- A **generic parser** has already been developed from the perspective of formal language theory.
- A **complete test suite** has been designed algebraically.
- Basic **BNF, EBNF, and ABNF subclasses** have been created using operators.
2. **Your Tasks:**
- Complete the **implementation** of the BNF, EBNF, and ABNF parsers, ensuring they adhere to their respective formal grammar specifications.
- Develop a **comprehensive test suite** for each parser to validate correctness, robustness, and performance.
- Use **Large Language Models (LLMs)** such as ChatGPT, DeepSeek, Qwen, Claude, Mistral, etc., to assist in code generation, optimization, and edge case identification.
### **Requirements**
- **Proven experience** in **compiler design** and **formal language theory**.
- Strong understanding of **BNF, EBNF, and ABNF grammars** and their implementations.
- Proficiency in **algebraic testing methodologies** and creating rigorous test suites.
- Familiarity with **LLMs** and their application in software development.
- Ability to work independently and deliver high-quality, well-documented code.
### **Preferred Qualifications**
- Experience with **parser generators** (e.g., ANTLR, Yacc, Bison).
- Knowledge of **formal verification** techniques.
- Familiarity with **functional programming** paradigms.
### **Application Instructions**
To be considered for this project, please provide:
1. A brief **introduction** about yourself and your relevant experience.
2. Examples of **past projects** related to formal language theory, compiler design, or parser implementation.
**Note:** Proposals that are generic, promotional, or focused on SEO/spam will be **discarded immediately**. Only serious candidates with proven expertise in the required areas will be considered.
I'll be budgeting for each parser individually—BNF, EBNF, and ABNF. You'll be unit testing with in-memory input text, but demonstrating correctness using real grammars from files of existing programming languages (e.g., *.bnf, *.ebnf, *.abnf files) will be a plus.
---