4 처지: 제약 충족 문제, 커뮤니케이팅 시퀜셜 프로세스, 콘텐츠 서비스 제공자, 형식 언어.
제약 충족 문제
제약 충족 문제(Constraint satisfaction problem, CSP)는 복수의 제약 조건을 충족하는 상태를 찾아내는 수학 문제를 가리.
새로운!!: CSP와 제약 충족 문제 · 더보기 »
커뮤니케이팅 시퀜셜 프로세스
뮤니케이팅 시퀜셜 프로세스(Communicating Sequential Processes, CSP)는 병행 시스템에서 상호작용의 패턴을 기술하기 위해 고안된 형식 언어이.
새로운!!: CSP와 커뮤니케이팅 시퀜셜 프로세스 · 더보기 »
콘텐츠 서비스 제공자
서비스 제공자(Contents Service Provider, CSP)란 디지털화 된 정보를 제공하는 사업자를 총칭하는 말이.
새로운!!: CSP와 콘텐츠 서비스 제공자 · 더보기 »
형식 언어
형식 언어는 유한한 종류의 문자로 이루어진 유한한 길이의 문자열의 집합을 말. 형식 언어는 수학, 논리학, 언어학, 정보 이론 등에서 사용하고 있으며, 또한 계산가능성 이론과 밀접하게 관련되어 있.
새로운!!: CSP와 형식 언어 · 더보기 »