형식 언어 oor Engels

형식 언어

Vertalings in die woordeboek Koreaans - Engels

formal language

naamwoord

set of strings of symbols that may be constrained by rules that are specific to it

Soortgelyke frases

자유 형식 언어
free-form language · freeform language

voorbeelde

그는 최초로 널리 사용된 고급 프로그래밍 언어 (포트란)를 발명한 팀을 이끌었고 형식 언어 문법을 정의하는 배커스-나우르 표기법을 발명했다.
He directed the team that invented and implemented FORTRAN, the first widely used high-level programming language, and was the inventor of the Backus–Naur form (BNF), a widely used notation to define formal language syntax.

사용할 수 있는 숫자 형식은 표시 언어에 따라 다릅니다.
Not every possible number format is available for every display language.

다른 접근법은 공리적인 의미론(Axiomatic semantics)과 연산 의미론(Operational semantics)을 포함하는 프로그래밍 언어의 형식적 의미를 제공한다.
Other approaches provide formal semantics of programming languages including axiomatic semantics and operational semantics.

이는 "나는 당신이 아직 트랜스에 들지 않기를 바랍니다."라는 형식의 에릭소니언 최면 언어 패턴에 뿌리를 두고 있다.
Once again, this approach has its roots in Erickson's hypnotic language patterns of the form "I don't want you to go into a trance yet".

참고: 일부 지역에서는 계약상의 제한, 언어 지원, 주소 형식 등의 문제로 인해 오프라인 지도의 다운로드가 불가능합니다.
Note: Downloading offline maps isn't available in some regions because of contractual limitations, language support, address formats, or other reasons.

흔히 NP를 이렇게 다시 형식화한다: 어떤 언어가 NP라는 것과 답이 주어질 때 결정론적 기계로 다항시간에 검증할 수 있다는 것은 동치이다.
A common reformulation of NP states that a language is in NP if and only if a given answer can be verified by a deterministic machine in polynomial time.

마크업 도우미는 콘텐츠의 날짜가 콘텐츠의 언어에 따른 형식 지정 규칙을 따른다고 가정하도록 설계되었습니다.
Markup Helper assumes that the dates in your content follow the formatting rules associated with the content's language.

언어도 사용자형식의 형태에서 사용자 인터페이스를 제공하고, 이것은 액티브X 컨트롤 추가 기능에 대한 것을 호스팅할 수 있다.
The language provides a user interface in the form of UserForms, which can host ActiveX controls for added functionality.

주위 환경에 스며든 차가운 분위기, 윗 사람에게 말할 때의 형식에 치우친 언어, 명상과 참회를 위한 정기적인 격리, 극단적인 굴욕감을 느끼게 하는 청빈과 순종의 서약—이 모든 것 때문에 그 생활은 매우 불행하였읍니다.
The cold atmosphere that permeated the environment, the use of formal language when addressing our superiors, the regular seclusion for meditation and penance, the vows of poverty and obedience carried to extreme lengths to mortify us—all these things made that life a very unhappy one.

엄밀히 말해서 켈트족은 여러 부족으로 된 집단이다. 그들을 결속시킨 “공통 언어, 같은 형식의 공예 기술, 군 조직 및 신앙은 쉽게 알아볼 수 있을 정도로 일원화되어 있었다.”
The Celts were actually a collection of tribes held together “by a common language and style of craftsmanship, military structure, and religious beliefs that were sufficiently unitarian to be recognizable.”

hreflang 속성의 값은 언어(ISO 639-1 형식)를 지정하며 필요 시 대체 URL의 지역(ISO 3166-1 Alpha 2 형식)을 지정합니다.
The value of the hreflang attribute identifies the language (in ISO 639-1 format) and optionally a region (in ISO 3166-1 Alpha 2 format) of an alternate URL.

이러한 형식의 콘텐츠는 승인된 언어로만 작성해야 합니다.
Make sure that content for these formats is in an approved language.

현재 데이터 스튜디오에서는 37개의 언어가 지원되며, 해당 언어의 숫자, 날짜, 시간 형식을 사용할 수 있습니다.
Data Studio is currently available in 37 languages and supports number, date, and time formats in those languages.

이 잡지들은 1967년에 동일한 형식과 내용으로 통합되어 여러 언어로 번역되었다.
In 1967 they were unified into one magazine with the same format and content, translated into many different languages.

실제 달력 날짜 또는 초록 날짜 색인 언어 및 보고서의 표시 형식 표시 설정에 따라 형식이 지정됩니다.
An actual calendar date, or an abstract date index.

일본어의 오-칠-오 형식은 깔끔하고 간결하지만, 다른 언어로 동일하게 짜맞추려고 하면 상당히 길어질 수 있다.
Whereas the five-seven-five form in Japanese is tidy and trim, the same syllable combination can prove to be quite a mouthful in another language.

형식 지정 문제가 발생하면 컴퓨터의 언어와 일치하도록 애드센스 언어를 변경하시기 바랍니다.
If you experience this formatting issue, we suggest changing your AdSense language to match your computer's language.

물론, 하이쿠를 일본어에서 다른 언어로 번역하다 보면, 형식의 문제가 대두된다.
Of course, when it comes to translating haiku from Japanese into any other language, the problem of form presents itself.

번역사 도구함을 사용하려면 광범위한 언어와 문자를 지원하는 형식인 UTF-8이 필요합니다.
Translator Toolkit requires UTF-8 because the format supports a wide range of languages and characters.

자유 형식 언어 입력은 Wolfram 언어로의 프로그래밍을 일반 영어 평문 입력만큼 쉽게 할수 있게 해줍니다.
With free-form linguistic input, programming in the Wolfram Language can be as easy as entering plain English.

자유 형식 언어 입력 지원으로 CDF 인터랙티브 콘텐츠 제작은 일반 영어를 입력하는 것과 같이 간단합니다.
With free-form linguistic input support, creating interactive content with CDF can be as easy as entering plain English.

HTML이 웹브라우저를 통해 보여주는 문서의 형태를 정하기 위한 형식언어라는 것은 잘 알려진 사실이다.
It is a well known fact that HTML is a formatting language for formatting documents that can be display on a web browser.

작업 오토마타 및 형식 언어 이론의 거의 모든 주요 주제를 통합하는 수학적 프레 젠 테이션이 포함됩니다.
The work includes a unifying mathematical presentation of almost all major topics of automata and formal language theory.

춤은 또한 인간과 동물(꿀벌의 춤, 교미를 위한 움직임), 무생물의 운동("바람때문에 잎들이 춤추는") 그리고 어떤 음악 형식 또는 음악 장르 사이의 비언어 의사소통(신체 언어 참조)의 방법을 기술하기 위해 사용되기도 한다.
Dance is also used to describe methods of nonverbal communication (see body language) between humans or animals (bee dance, patterns of behaviour such as a mating dance), motion in inanimate objects (the leaves danced in the wind), and certain musical genres.