| 摘要 |
Exemplary embodiments described herein provide methods, mediums, and systems for recognizing a formalism type present in an input and generating an output that is consistent with the formalism type. In order to generate an output that is consistent with the formalism type, exemplary embodiments analyze elements of the input together. Such a holistic analysis determines or uses a likelihood that the different elements coexist together in a given formalism type. Based on this holistic analysis, an appropriate formalism type that is consistent with the coexistence of the elements may be selected. After the appropriate formalism type is selected, the input may be processed to generate an output consistent with the formalism type. The output may be computer-based representations of the input defined according to a program associated with the identified formalism type, and/or the input may be translated or transformed into another representation. |
| 主权项 |
1. A non-transitory computer readable medium storing instructions, the instructions comprising:
one or more instructions that, when executed, cause a processor to:
receive an input, the input comprising a plurality of input elements;parse the input to identify:
a first element from among the plurality of input elements, the first element represented according to a formalism type that identifies a syntax for organizing elements of the formalism type, anda second element from among the plurality of input elements, the second element represented according to the formalism type;access a library comprising entries for different formalism types, the formalism type included in the different formalism types;determine a likelihood that the first element and the second element coexist together in a formalism type from among the different types of formalisms in the library, andselect, based on the determining, a selected formalism type that is consistent with a coexistence of the first element and the second element; andgenerate an output, the output:
comprising the first element and the second element, andat least partly represented in a format corresponding to the selected formalism type. |
