language-theory

    2

    2答えて

    最近Excelマクロを作成しようとしていましたが、特定のワークシートが存在するかどうかを判断する必要がありました。スクリプティングのための私の武器はPythonであり、私のVBAスキルは貧弱です。だから、良いニシキヘビスタイルで、私は権限のアプローチよりも、許しを求めるために簡単に取り、そしてこのようなものを書いた:私はprint文を排除しようとするまで Debug.Print MyWorkboo

    4

    2答えて

    "ab" & "ba"と同じ数の部分文字列を持つアルファベット "a、b、c"のすべての文字列の言語ですか? 答えはNOだと思いますが、非正式なデモであっても正式なデモを行うのは難しいです。 これにアプローチする方法についてのご意見はありますか?

    0

    4答えて

    私は、インタフェースの範囲を超えて、他のプログラマと紛争しています。 は、我々は次のことを考えてみます。 public interface IFoo { string Bar { get; set; } } public class SomeFoo: IFoo { public string Bar { get; set; } public SomeFoo

    79

    1答えて

    現代の正規表現は実際にどのような言語クラスを認識していますか? バックリファレンス(例:(.*)_\1)を持つ無制限の長さのキャプチャグループがある場合、正規表現は現在、非正規言語と一致しています。しかし、これだけでは、S ::= '(' S ')' | εのようなものと一致するには十分ではありません - 文脈自由な括弧の対の言語。 再帰正規表現(私には新しく、PerlとPCREには確信があります

    -2

    1答えて

    数学者が、私たちに言語があるという条件でプロジェクトが可能であると言いました。私たちがいつ私たちがいつ知っているか、私たちがしていない時を知っているかを教えてください。例のように、あるいは自動化されたテストが "言語"とは何かを知ることができるかどうか。ありがとう

    5

    2答えて

    しばらく前にHaskell拡張機能の1つ(リンクを見つけることができません)とrecently in Ur私は、レコードフィールドの名前が種類を形成していることがわかりました。タイプ抽象化がそれらのために十分でない理由を誰かが説明できますか?

    3

    1答えて

    私はCoqを学習しています。これを正規言語理論、特に有限オートマトンの形式化に使用したいと思います。のは、次のように私はオートマトンのための構造を持っているとしましょう:状態として誘導型である Record automata : Type := { dfa_set_states : list state; init_state : state; end_state : state; dfa

    2

    1答えて

    4つの文の言語:s00、s01、s10、s11先頭の1は最初のキーワードを意味し、後続の1は終了し、区切り文字 ";"を持ちます。私は ";"で任意のステートメントを終了することができます。私は、 ";"を最小限に抑えることができる文のリストを許可する言語を解析したいと思います。パーサはGLP +であるDypgenです。 例: { x=1 fun f(){} x=1; x=1 var x=1 va

    2

    3答えて

    私は自分のOO言語を設計していて、例外を打つまでうまくいっていました。例外はカプセル化を破るようです。 たとえば、クラスAにクラスBのオブジェクトがあり、BにCがあり、CにXがあり、Aに例外がスローされた場合、AのコードはXだけでなくBとCも処理する必要がありますそれは正しく。これは、CをDに置き換えた場合、例外のハンドラを変更してコールスタックから関連情報を抽出する必要があるためです。 この問題

    3

    2答えて

    私は言語理論に関する試験のリビジョン割り当てに取り組んでいます。私たちが行うことができる演習のカップルは、いくつかの方法の前後の条件とループ不変量を書くことを伴います。 私は1つを完成し、それがかなり良いと思います(それがPでなければ教えてください)。次のものは似ていると思われますが、簡単に解決する方法はあります。 1. :私はこれらの(非常に)類似した方法のために同じことを行う必要があり Pre