Formal Languages

All posts under tag "Formal Languages"

10 posts total

Sorted by date

The complexity of tangent words

이 논문은 매끄러운 곡선과 그에 대한 접선 단어의 언어적 접근법을 체계적으로 분석한다. 주요 내용은 다음과 같다: 1. 매끄러운 곡선의 정의와 특성 : 매끄러운 곡선은 실수 직선 위의 컴팩트 구간 I에서 정의되며, 모든 t ∈ I 에 대해 ||γ′(t)|| > 0 이라는 규칙성을 만족한다. 이러한 곡선은 원하는 만큼 재매개변수화될 수 있으며, 일반적으로 각 t 에 대해 ||γ′(t)|| 1 이다. 매끄러운 곡선의 근사 방법으로 평면에 격자망을 그려서 곡선이 만나는 사각형의 순서를 살펴본다. 이 절단 순서는 상, 하, 좌, 우 방향으

August 19, 2011

Formal Languages Computational Geometry Computer Science Discrete Mathematics

No Image

An Alternative Interpretation of Linguistic Variables as Linguistic Finite Automata

: 1. 언어 변수 개념 재해석 Zadeh는 언어 변수를 네 가지 구성 요소로 정의했다: 변수 이름, 레이블 집합, 담론 영역, 그리고 의미 규칙. 이 논문은 이러한 정의에 대한 비판을 제기하며, 특히 헤드(hedge)의 의미가 불분명하다는 점을 지적한다. 이를 해결하기 위해, 논문은 모든 레이블과 그 의미를 사전에 정의된 고정된 유한 단어 집합으로 한정한다. 예를 들어, '매우 작은'이라는 표현은 '작은'의 의미에서 파생되지 않고, 자체적으로 독립적인 의미를 가진다. 이는 모호 집합을 통해 표현되며, 각 레이블에 대한 회원도(me

December 16, 2011

Formal Languages Computer Science

Biologically Inspired Process Calculi, Petri Nets and Membrane Computing

: 이 책은 막 구조 컴퓨팅(Membrane Computing) 및 생물학적으로 영감을 받은 프로세스 계산(Biologically Inspired Process Calculus) 분야에서 중요한 연구 성과들을 모아놓은 기록입니다. 특히, 페트리 네트(Petri Net)를 활용한 연구가 강조되어 있어 이 세 가지 주제 사이의 상호작용을 잘 보여주고 있습니다. 막 구조 컴퓨팅은 생물학적 시스템에서 영감을 받아 개발된 계산 모델로, 특히 세포 내에서 발생하는 복잡한 화학 반응과 정보 흐름을 모델링하는데 사용됩니다. 이 분야는 자동화, 형

August 18, 2011

Formal Languages Distributed Computing Computer Science

No Image

Multiscale Modelling: A Mobile Membrane Approach

: 본 논문은 생물학적 과정 연구에 있어 다중 규모 모델링의 중요성과 그 구현 방법을 탐구하고 있습니다. 특히, 이동성 막 시스템이 이러한 모델링 접근법에서 중요한 역할을 하는데 초점을 맞추고 있습니다. 1. 다중 규모 모델링의 필요성 자연 현상은 다양한 공간적 및 시간적 규모에서 상호작용하며 발생합니다. 따라서, 이를 효과적으로 연구하려면 다중 규모 모델링이 필수적입니다. 복잡 자동문(CxA)은 이러한 다중 규모 접근법을 구현하는 데 가장 적합한 시스템으로 간주됩니다. 2. 이동성 막 시스템의 활용 이동성 막 시스템은 생물학적 움

August 18, 2011

Formal Languages Quantitative Biology Model Computer Science Emerging Technologies

Petri Nets and Bio-Modelling - and how to benefit from their synergy

: 본 논문은 페트리넷과 생물학적 시스템 간의 상호작용을 통해 얻을 수 있는 이점을 탐구합니다. 페트리넷은 동시성과 분산 계산을 위한 강력한 도구로, 행동 특성을 분석하고 검증하는 데 사용됩니다. 생물학적 과정을 이해하기 위해 제안된 막 시스템과 반응 시스템은 세포 내 화학 반응을 추상화한 모델입니다. 페트리넷의 원인과 동시성 의미론에 대한 이해는 페트리넷이 어떻게 생물학적 과정을 정확히 모델링할 수 있는지 설명하는 데 중요합니다. 막 시스템은 세포 내 화학 반응에서 영감을 받아 개발되었으며, 이는 페트리넷과 유사한 다중 집합 재구

August 18, 2011

Formal Languages Distributed Computing Model Computer Science

Average-based Robustness for Continuous-Time Signal Temporal Logic

This paper introduces a new robustness score for continuous time Signal Temporal Logic (STL) specifications. Instead of focusing solely on the most severe point during signal evolution, it uses average scores to extract more information from the entire signal trajectory. This approach emphasizes the

September 04, 2019

Computer Science Formal Languages Robotics

Superiority of exact quantum automata for promise problems

: 본 논문은 양자 컴퓨팅과 고전적 컴퓨팅의 성능 차이에 대한 심도 있는 분석을 제공합니다. 특히, 양자 오토마타와 결정적 유한 오토마타(DFA)를 비교하여 양자의 우월성을 입증하고 있습니다. 1. 연구 배경 양자 계산은 부분 함수와 전체 함수에 대한 광범위한 연구가 이루어져 왔습니다. 그러나 자동화 이론에서는 양자 유한 오토마타(QFA)의 성능을 분석하는 결과는 매우 제한적이었습니다. Klauck

January 29, 2014

Formal Languages Quantum Physics Computational Complexity Computer Science

No Image

Filtrations of Formal Languages by Arithmetic Progressions

본 논문은 Berstel 외 연구자들이 제시한 필터링 개념을 재검토하고, 특히 산술진행렬을 이용한 필터링 방법에 초점을 맞추어 정규 언어와 문법적 자유 언어의 특성을 분석한다. 이 연구는 주로 무한 필터 집합 S {s1, s2, ...} 에 대해 주어진 언어 L 의 모든 필터링된 언어 { L

April 02, 2012

Formal Languages Computer Science

Reversibility in Massive Concurrent Systems

: 본 논문은 대규모 병렬 시스템에서 역전 가능성의 개념과 그 적용 범위를 탐구하고 있다. 역전 가능성은 입력 데이터가 순차적으로 처리되면서, 첫 번째 입력이 두 번째 입력 없이도 방출되어 다른 연산자에 의해 사용될 수 있는 능력을 의미한다. 이는 병렬 시스템에서 효율적인 데이터 처리와 프로세싱을 가능하게 하는 중요한 특성이다. 논문은 역전 가능성의 구조를 분석하면서, 특히 일관성 제약 조건 하에서 다중성이 제거된 역전 가능한 구조에 초점을 맞추고 있다. 이는 병렬 시스템 내에서 데이터 처리 과정이 일관성을 유지하도록 하는 중요한

August 18, 2011

Formal Languages Distributed Computing Computer Science System

Jancars formal system for deciding bisimulation of first-order grammars and its non-soundness

: 1. 첫 번째 순서 문법과 행동 알파벳의 정의 논문은 첫 번째 순서 문법에 대한 비시뮬레이션 문제를 해결하기 위해 Jancar의 형식 시스템을 검토한다. 이 과정에서 행동 알파벳 A와 중간 라벨 알파벳 T, 그리고 맵 LAB A: T → A를 정의한다. 이러한 정의는 첫 번째 순서 문법 G (N, A, R)을 구성하는 데 필요한 기본 요소를 제공하며, 여기서 N은 비터미널 집합, A는 행동 알파벳, 그리고 R은 규칙 집합이다. 2. Jancar 형식 시스템의 개요 Jancar의 형식 시스템은

January 27, 2011

Computer Science Formal Languages Logic System

< Category Statistics (Total: 771) >

Astrophysics

Condensed Matter

Economics

Electrical Engineering and Systems Science

General

272

General Relativity

HEP-EX

HEP-PH

HEP-TH

MATH-PH

NUCL-TH

Nonlinear Sciences

Physics

Quantitative Biology

Quantitative Finance

Quantum Physics

Statistics

Formal Languages

The complexity of tangent words

An Alternative Interpretation of Linguistic Variables as Linguistic Finite Automata

Biologically Inspired Process Calculi, Petri Nets and Membrane Computing

Multiscale Modelling: A Mobile Membrane Approach

Petri Nets and Bio-Modelling - and how to benefit from their synergy

Average-based Robustness for Continuous-Time Signal Temporal Logic

Superiority of exact quantum automata for promise problems

Filtrations of Formal Languages by Arithmetic Progressions

Reversibility in Massive Concurrent Systems

Jancars formal system for deciding bisimulation of first-order grammars and its non-soundness

< Category Statistics (Total: 771) >

Table of Contents

Table of Contents

The complexity of tangent words

An Alternative Interpretation of Linguistic Variables as Linguistic Finite Automata

Biologically Inspired Process Calculi, Petri Nets and Membrane Computing

Multiscale Modelling: A Mobile Membrane Approach

Petri Nets and Bio-Modelling - and how to benefit from their synergy

Average-based Robustness for Continuous-Time Signal Temporal Logic

Superiority of exact quantum automata for promise problems

Filtrations of Formal Languages by Arithmetic Progressions

Reversibility in Massive Concurrent Systems

Jancars formal system for deciding bisimulation of first-order grammars and its non-soundness

< Category Statistics (Total: 771) >

Start searching

No results found