Trung tâm cá nhân
sách gpt4 ai đã đi

coroutine - Triển khai một máy trạng thái hữu hạn bằng cách sử dụng một coroutine duy nhất

In lại 作者：行者123 更新时间：2023-12-03 07:58:02 31 4
mua khóa gpt4 Nike

我正在寻找实现 FSM 的方法，这导致我第一次遇到协程。

我看到了几个示例(đây,đây Và đây)，它们暗示状态机可以由单个协程实现。然而，我注意到所有这些机器的共同点是，不包括循环，它们是树——也就是说，从起始节点到每个其他节点只有一条路径(不包括循环)——并且很好地映射到层次控制流由嵌套 nếu như 提供s。我试图建模的状态机至少有一个状态，从起始节点到它的路径不止一条(如果消除了循环，它就是一个有向无环图)。而且我无法想象什么样的控制流(除了 đi đến s)可以实现这一点，或者是否有可能。

或者，我可以使用单独的协程来处理每个状态并让步给某种调度程序协程。但是，我没有看到在此设置中使用协程而不是常规函数有任何特别的好处。

这是一个我无法建模的简单状态机:

A --'a'--> B
A --'b'--> C
B --'a'--> C
B --'b'--> A
C --'a'--> A
C --'b'--> B

这是我到目前为止所拥有的。最终实现将在 C++ 中使用 Boost，但我使用 Python 进行原型(prototype)设计。 

#!/usr/bin/python3

def StateMachine():
    trong khi Đúng:
        print(" Entered state A")
        input = (yield)
        if input == "a":
            print(" Entered state B")
            input = (yield)
            if input == "a":
                # How to enter state C from here?
                vượt qua
            elif input == "b":
                Tiếp tục
        elif input == "b":
            print(" Entered state C")
            input = (yield)
            if input == "b":
                Tiếp tục
            elif input == "a":
                # How to enter state B from here?
                vượt qua

if __name__ == "__main__":
    sm = StateMachine()
    sm.__next__()
    trong khi Đúng:
        for line in input():
        sm.send(line)

可以修复此协程以正确建模状态机吗？或者我必须采取其他方式吗？

1 Câu trả lời

我会明确地为状态机建模:

def StateMachine():
    state = 'A'
    trong khi Đúng:
        print(state)
        input = (yield)
        if state == 'A':
            if input == 'a':
                state = 'B'
            elif input == 'b':
                state = 'C'
            khác:
                phá vỡ
        elif state == 'B':
            if input == 'a':
                state = 'C'
            elif input == 'b':
                state = 'A'
            khác:
                phá vỡ
        elif state == 'C':
            if input == 'a':
                state = 'A'
            elif input == 'b':
                state = 'B'
            khác:
                phá vỡ
        khác:
            phá vỡ

这应该使用嵌套的 công tắc 非常巧妙地转换为 C++。语句或状态转换表。

如果您更喜欢隐式模型，则需要一种方法来处理状态机中的循环。在 C 或 C++ 中，这最终可能是 đi đến .我不推荐这种方法，但如果你对它比显式状态更舒服，它可能看起来像这样: 
#include 

#define start(state) switch(state) { case 0:;
#define finish default:;}
#define yield(state, value) do { state = __LINE__; return (value); case __LINE__:; } while(0)

struct coroutine {
    int state;
};

số nguyên
run(struct coroutine *c, char input)
{
    start(c->state)
    {
A:
        printf("Entered state A\n");
        yield(c->state, 1);
        if(input == 'a') goto B;
        if(input == 'b') goto C;
B:
        printf("Entered state B\n");
        yield(c->state, 1);
        if(input == 'a') goto C;
        if(input == 'b') goto A;
C:
        printf("Entered state C\n");
        yield(c->state, 1);
        if(input == 'a') goto A;
        if(input == 'b') goto B;
    } finish;

    trả về 0;
}

số nguyên
main(void)
{
    số nguyên a;
    struct coroutine c = {0};

    while((a = getchar()) != EOF && run(&c, a));

    trả về 0;
}

关于coroutine - 使用单个协程实现有限状态机，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/20701834/

31 4 0
Bài viết được đề xuất: Gstreamer 多个接收器不起作用
Bài viết được đề xuất: svn - 将VisualSVN Server从一个Windows安装迁移到另一个
Bài viết được đề xuất: oop - 多重分派(dispatch)和方法重载有什么区别？
Bài viết được đề xuất: analytics - 谷歌分析 : Is there any way to create the Cohort Analysis report using the Analytics API?
行者123
Hồ sơ cá nhân

Tôi là một lập trình viên xuất sắc, rất giỏi!

Nhận phiếu giảm giá Didi Taxi miễn phí
Mã giảm giá Didi Taxi
Các bài viết nóng hổi trên toàn bộ trang web
Giấy chứng nhận ICP Bắc Kinh số 000000
Hợp tác quảng cáo: 1813099741@qq.com 6ren.com