权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Querschnitte: XML und formale Sprachen - Theorie und Praxis

横截面：XML 和形式语言 - 理论与实践

基本信息

批准号：
185161317
负责人：
Professor Dr. Wim Martens
金额：
--
依托单位：
Institut für Informatik
依托单位国家：
德国
项目类别：
Independent Junior Research Groups
财政年份：
2011
资助国家：
德国
起止时间：
2010-12-31 至 2018-12-31
项目状态：
已结题

来源：
https://gepris.dfg.de/gepris/projekt/185161317?language=en
关键词：
Querschnitte XML und formale Sprachen

项目摘要

Die eXtensible Markup Language (XML) ist das Standarddatenformat für Datenaustausch im Internet. Im Gegensatz zu relationalen Datenbanken ist die Struktur von XML sehr flexibel, was zu einer Vielfalt von Herausforderungen an die Forschungsgemeinschaft führt. Da die Grundlagen von XML auf formaler Sprachentheorie (reguläre Ausdrücke, endliche Automaten, reguläre Baumsprachen, etc.) basieren, entsprechen die tiefergehenden Forschungsfragen im Fachgebiet oft auch grundlegenden Fragen der formalen Sprachentheorie. Dieses Projekt hat zwei Ziele: wir wollen sowohl die Verbindungen zwischen XML-Forschung und formaler Sprachenforschung, als auch die Beziehung zwischen Theorie und Praxis in diesen beiden Forschungsgebieten verst rken. Auf der theoretischen Seite kommen unsere Hauptforschungsfragen aus der XML-Forschung. Wir wollen Techniken in der formalen Sprachentheorie entwickeln und verwenden, um die XMLForschung voran zu treiben. Außerdem werden wir aktuelle Probleme aus der XML-Forschung in den Kontext von formaler Sprachentheorie übersetzen und die dabei auftretenden Probleme der formalen Sprachentheorie erforschen. Auf der praktischen Seite werden wir Realweltdaten analysieren und unsere Algorithmen in realistischen Modellen implementieren, um so wiederum praktisch relevante Probleme zu identifizieren und zu lösen.

可扩展标记语言(XML)是互联网中的标准数据格式。I‘m Gegensatz zu Relationalen I’m Gegensatz zu Relationalen in die Strukut von XML sehr Flexibel，is zu einer Vielfalt von Herosforforderungen and die Forschungsgmeinschaft führt.De die Grundlagen von XML auf formaler Sprachentheorie(reguläre Ausdrücke，endliche Automten，reguläre BaumSprachen等)从形式上来说，这是一种非常普遍的理论。这是一件很重要的事情：我们不能把所有的事情都做好，也不能把理论和实践放在一起。从理论上讲，这是一件很难理解的事情。我们用正式的语言来表达自己的观点，嗯，这就是我们所要做的。Auüerdem wir Aktuelle Probleme Aus der XML-Forschung in den Kontext von Forformaler Sprachentheorieübersetzen and die dabeauftretenden Probleme der formalen Sprachentheorie erforschen.在实现模型的过程中，我们对现实数据进行了分析，并给出了相应的算法，从而解决了与身份识别和L教授相关的问题。